Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
23 Publications
1987 | Book Chapter | LibreCat-ID: 19821
@inbook{Büning_Lettmann_1987, place={Berlin, Heidelberg}, title={Representation independent query and update operations on propositional definite Horn formulas}, DOI={10.1007/3-540-18170-9_167}, booktitle={Computation Theory and Logic}, author={Büning, Hans Kleine and Lettmann, Theodor}, editor={Börger, EgonEditor}, year={1987}, pages={208–223} }
LibreCat
| DOI
1987 | Journal Article | LibreCat-ID: 17820
@article{Peckhaus_Thiel_1987, title={DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik}, volume={70/71}, number={Juni 1987}, journal={FAU Uni-Kurier}, author={Peckhaus, Volker and Thiel, Christian}, year={1987}, pages={49} }
LibreCat
1987 | Book Chapter | LibreCat-ID: 19359
@inbook{Seng_1987, series={Tübinger Blätter}, title={Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins}, volume={74. Jg.}, booktitle={Tübinger Blätter, 74. Jg. }, author={Seng, Eva- Maria}, editor={Bürger- und Verkehrsverein Tübingen e.V.Editor}, year={1987}, pages={8–14}, collection={Tübinger Blätter} }
LibreCat
1987 | Conference Paper | LibreCat-ID: 21791
@inproceedings{Domik_Leberl_1987, title={Image based SAR product simulation for analysis}, booktitle={ASPRS-ACSM}, author={Domik, Gitta and Leberl, Franz}, year={1987} }
LibreCat
1987 | Conference Paper | LibreCat-ID: 7816
@inproceedings{Engels_Schürr_1987, place={Berlin/Heidelberg}, title={A Hybrid Interpreter in a Software Development Environment}, volume={289}, booktitle={Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France)}, publisher={Springer}, author={Engels, Gregor and Schürr, Andy}, year={1987}, pages={80–88} }
LibreCat
1987 | Conference Paper | LibreCat-ID: 7817
@inproceedings{Engels_Nagl_Schäfer_1987, title={On the Structure of Structure-Oriented Editors for Different Applications}, volume={22}, number={1}, booktitle={Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA}, publisher={ACM SIGPLAN Notices}, author={Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm}, year={1987}, pages={190–198} }
LibreCat
1987 | Conference Paper | LibreCat-ID: 8257
@inproceedings{Engels_Lewerentz_Schäfer_1987, place={Berlin/Heidelberg}, title={Graph Grammar Engineering: A Software Specification Method}, volume={291}, DOI={dx.doi.org/10.1007/3-540-18771-5}, booktitle={Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)}, publisher={Springer}, author={Engels, Gregor and Lewerentz, Claus and Schäfer, Wilhelm}, year={1987}, pages={186–201} }
LibreCat
| DOI
1987 | Journal Article | LibreCat-ID: 16772
@article{Borodin_Fich_Meyer auf der Heide_Upfal_Wigderson_1987, title={A Time-Space Tradeoff for Element Distinctness}, DOI={10.1137/0216007}, journal={SIAM Journal on Computing}, author={Borodin, A. and Fich, F. and Meyer auf der Heide, Friedhelm and Upfal, E. and Wigderson, A.}, year={1987}, pages={97–99} }
LibreCat
| DOI
1987 | Journal Article | LibreCat-ID: 16773
@article{Meyer auf der Heide_Wigderson_1987, title={The Complexity of Parallel Sorting}, DOI={10.1137/0216008}, journal={SIAM Journal on Computing}, author={Meyer auf der Heide, Friedhelm and Wigderson, Avi}, year={1987}, pages={100–107} }
LibreCat
| DOI
1987 | Conference Paper | LibreCat-ID: 16916
@inproceedings{Domik_1987, title={Digital Rectification Method for Radar Images Applied on Huge Arrays}, number={Rep. 29}, booktitle={Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar}, author={Domik, Gitta}, year={1987}, pages={67–68} }
LibreCat