@inbookBü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: /record/19821
DOI: 10.1007/3-540-18170-9_167

@articlePeckhaus_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: /record/17820

@inbookSeng_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: /record/19359

@inproceedingsDomik_Leberl_1987, title=Image based SAR product simulation for analysis, booktitle=ASPRS-ACSM, author=Domik, Gitta and Leberl, Franz, year=1987 
LibreCat: /record/21791

@inproceedingsEngels_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: /record/7816

@inproceedingsEngels_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: /record/7817

@inproceedingsEngels_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: /record/8257
DOI: dx.doi.org/10.1007/3-540-18771-5

@articleBorodin_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: /record/16772
DOI: 10.1137/0216007

@articleMeyer 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: /record/16773
DOI: 10.1137/0216008

@inproceedingsDomik_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: /record/16916

@inproceedingsHaeb-Umbach_Meyr_1987, title=Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels, booktitle=Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, author=Haeb-Umbach, Reinhold and Meyr, Heinrich, year=1987 
LibreCat: /record/11795

@inproceedingsDomik_1987, title=Methods and application of surface shape reconstruction from multiple SAR images, booktitle=IGARSS’87-International Geoscience and Remote Sensing Symposium, author=Domik, Gitta, year=1987, pages=1551–1555 
LibreCat: /record/15038

@inproceedingsLeberl_Domik_Mercer_1987, title=Methods and accuracy of operational digital image mapping with aircraft SAR, booktitle=1987 ASPRS ACSM Annual Convention, author=Leberl, Franz and Domik, Gitta and Mercer, Bryan J, year=1987, pages=148–158 
LibreCat: /record/15050

@inbookPeckhaus_Kötter_1987, title=Interdisziplinäres Institut für Wissenschaftstheorie und Wissenschaftsgeschichte, booktitle=Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987), author=Peckhaus, Volker and Kötter, Rudolf, year=1987, pages=89 
LibreCat: /record/17819

@articleSchmidt_Blümich_Wefing_Kaufmann_Spiess_1987, title=Molecular motions from two-dimensional NMR of powders: Comparison of rotational jumps and diffusive reorientations, volume=91, DOI=10.1002/bbpc.19870911113, number=11, journal=Berichte der Bunsengesellschaft für physikalische Chemie, publisher=Wiley, author=Schmidt, Claudia and Blümich, B. and Wefing, S. and Kaufmann, S. and Spiess, H. W., year=1987, pages=1141–1145 
LibreCat: /record/35394
DOI: 10.1002/bbpc.19870911113

@inbookBigga_1987, place=Oldenburg, title=Anschauliches Lernen im Museum. , booktitle=Allgemeinbildung und Arbeit, Technik, Wirtschaft - Innovationen in Curriculum und Schul-Praxis., publisher=GATWU, author=Bigga, Regine, year=1987, pages=120–127 
LibreCat: /record/27968

@inbookGrotjahn_1987, place=Lilienthal, edition=1, title=Ruth Crawford Seeger, booktitle=Ameri­kanische Musik seit Charles Ives, publisher=Laaber-Verlag, author=Grotjahn, Rebecca, editor=Danuser, Hermann  and Kämper, Dietrich  and Terse , Paul , year=1987, pages=326f. 
LibreCat: /record/37872

@inbookGrotjahn_1987, place=Lilienthal, edition=1, title=Wallingford Riegger, booktitle=Ameri­kanische Musik seit Charles Ives, publisher=Laaber-Verlag, author=Grotjahn, Rebecca, editor=Danuser, Hermann and Kämper, Dietrich and Terse, Paul, year=1987, pages=375f. 
LibreCat: /record/37873

@inbookGrotjahn_1987, place=Lilienthal, edition=1, title=George Rochberg, booktitle=Ameri­kanische Musik seit Charles Ives, publisher=Laaber-Verlag, author=Grotjahn, Rebecca, editor=Danuser, Hermann and Kämper, Dietrich and Terse, Paul, year=1987, pages=377f. 
LibreCat: /record/37874

@articleHeppke_Kitzerow_Krumrey_1987, title=Angular Dependence of Blue Phase Selective Reflection in the Electric Field, volume=150, DOI=10.1080/00268948708074802, number=1, journal=Molecular Crystals and Liquid Crystals Incorporating Nonlinear Optics, publisher=Informa UK Limited, author=Heppke, G. and Kitzerow, Heinz-Siegfried and Krumrey, M., year=1987, pages=265–276 
LibreCat: /record/40338
DOI: 10.1080/00268948708074802

@inbookMahnken_Stein_Wetjen_Heemann_1987, place=Göttingen, title=Theoretische und numerische Aspekte der Berechnung thermo-mechanischer Kriechvorgänge im Steinsalz, volume=39, booktitle=Abhandlungen der Braunschweigischen Wissenschaftlichen Gesellschaft, publisher=Erich Goltzke KG, author=Mahnken, Rolf and Stein, Erwin and Wetjen, Diedrich and Heemann, Ulrich, year=1987, pages=61–121 
LibreCat: /record/45510

@inbookHilgert_1987, place=New York, title=Maximal Semigroups and the Support of Gauss-Semigroups, booktitle=Probability and Baysian Statistics, publisher=Plenum Press, author=Hilgert, Joachim, editor=Viertl, R., year=1987 
LibreCat: /record/51486

@articleHilgert_1987, title=Maximal Semigroups and Controllability in Products of Lie Groups, volume=49, journal=Archiv Math., author=Hilgert, Joachim, year=1987, pages=189–195 
LibreCat: /record/51452