@inbook{19821, author = {{Büning, Hans Kleine and Lettmann, Theodor}}, booktitle = {{Computation Theory and Logic}}, editor = {{Börger, Egon}}, isbn = {{9783540181705}}, issn = {{0302-9743}}, pages = {{208--223}}, title = {{{Representation independent query and update operations on propositional definite Horn formulas}}}, doi = {{10.1007/3-540-18170-9_167}}, year = {{1987}}, } @article{17820, author = {{Peckhaus, Volker and Thiel, Christian}}, journal = {{FAU Uni-Kurier}}, number = {{Juni 1987}}, pages = {{49}}, title = {{{DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik}}}, volume = {{70/71}}, year = {{1987}}, } @inbook{19359, author = {{Seng, Eva- Maria}}, booktitle = {{Tübinger Blätter, 74. Jg. }}, pages = {{8--14}}, title = {{{Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins}}}, volume = {{74. Jg.}}, year = {{1987}}, } @inproceedings{21791, author = {{Domik, Gitta and Leberl, Franz}}, booktitle = {{ASPRS-ACSM}}, title = {{{Image based SAR product simulation for analysis}}}, year = {{1987}}, } @inproceedings{7816, abstract = {{This paper describes the realization of an execution tool for Modula-2 modules which is part of an integrated tool set in a software development environment termed IPSEN (Incremental Programming Support Environment). In this environment, all software documents, e.g. Modula-2 modules, are manipulated by syntax-directed editors and are represented internally by attributed graphs. The execution of Modula-2 modules is done by two cooperating interpreters. The first one is a graph interpreter which traverses the internal graph from statement to statement. These statements are translated into a low-level, more efficiently executable object code and interpreted by a second interpreter. This concept of a hybrid interpreter allows the realization of an execution tool which offers a lot of runtime support features to the user.}}, author = {{Engels, Gregor and Schürr, Andy}}, booktitle = {{Proceedings of the 1st European Software Engineering Conference (ESEC '87), Strasbourg (France)}}, pages = {{80--88}}, publisher = {{Springer}}, title = {{{A Hybrid Interpreter in a Software Development Environment}}}, volume = {{289}}, year = {{1987}}, } @inproceedings{7817, author = {{Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm}}, booktitle = {{Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA}}, number = {{1}}, pages = {{190--198}}, publisher = {{ACM SIGPLAN Notices}}, title = {{{On the Structure of Structure-Oriented Editors for Different Applications}}}, volume = {{22}}, year = {{1987}}, } @inproceedings{8257, abstract = {{Graphs as conceptual data models are accepted and used in a wide range of different problem areas. Giving some examples we outline common aspects for modeling complex structures by graphs. We present a formal frame-work based on graph grammars to specify graph classes and the corresponding graph manipulations. We show that such a specification can be written in a systematic, engineering-like manner. This is achieved by an extension of the known programmed, attributed graph grammars. Node-set operators are introduced to facilitate graph queries. Concepts like abstraction, decomposition, refinement, parameterization, and integration have been adopted from software engineering to yield a comprehensive specification method. This method has successfully been applied to specify the central data structures in a software development environment project}}, author = {{Engels, Gregor and Lewerentz, Claus and Schäfer, Wilhelm}}, booktitle = {{Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA)}}, pages = {{186--201}}, publisher = {{Springer}}, title = {{{Graph Grammar Engineering: A Software Specification Method}}}, doi = {{dx.doi.org/10.1007/3-540-18771-5}}, volume = {{291}}, year = {{1987}}, } @article{16772, author = {{Borodin, A. and Fich, F. and Meyer auf der Heide, Friedhelm and Upfal, E. and Wigderson, A.}}, issn = {{0097-5397}}, journal = {{SIAM Journal on Computing}}, pages = {{97--99}}, title = {{{A Time-Space Tradeoff for Element Distinctness}}}, doi = {{10.1137/0216007}}, year = {{1987}}, } @article{16773, author = {{Meyer auf der Heide, Friedhelm and Wigderson, Avi}}, issn = {{0097-5397}}, journal = {{SIAM Journal on Computing}}, pages = {{100--107}}, title = {{{The Complexity of Parallel Sorting}}}, doi = {{10.1137/0216008}}, year = {{1987}}, } @inproceedings{16916, author = {{Domik, Gitta}}, booktitle = {{Proceedings of the First Int'l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar}}, number = {{Rep. 29}}, pages = {{pp. 67--68}}, title = {{{Digital Rectification Method for Radar Images Applied on Huge Arrays}}}, year = {{1987}}, } @inproceedings{11795, author = {{Haeb-Umbach, Reinhold and Meyr, Heinrich}}, booktitle = {{Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio}}, title = {{{Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels}}}, year = {{1987}}, } @inproceedings{15038, author = {{Domik, Gitta}}, booktitle = {{IGARSS'87-International Geoscience and Remote Sensing Symposium}}, pages = {{1551--1555}}, title = {{{Methods and application of surface shape reconstruction from multiple SAR images}}}, year = {{1987}}, } @inproceedings{15050, author = {{Leberl, Franz and Domik, Gitta and Mercer, Bryan J}}, booktitle = {{1987 ASPRS ACSM Annual Convention}}, pages = {{148--158}}, title = {{{Methods and accuracy of operational digital image mapping with aircraft SAR}}}, year = {{1987}}, } @inbook{17819, author = {{Peckhaus, Volker and Kötter, Rudolf}}, booktitle = {{Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987)}}, pages = {{89}}, title = {{{Interdisziplinäres Institut für Wissenschaftstheorie und Wissenschaftsgeschichte}}}, year = {{1987}}, } @article{35394, author = {{Schmidt, Claudia and Blümich, B. and Wefing, S. and Kaufmann, S. and Spiess, H. W.}}, issn = {{0005-9021}}, journal = {{Berichte der Bunsengesellschaft für physikalische Chemie}}, keywords = {{General Chemical Engineering}}, number = {{11}}, pages = {{1141--1145}}, publisher = {{Wiley}}, title = {{{Molecular motions from two-dimensional NMR of powders: Comparison of rotational jumps and diffusive reorientations}}}, doi = {{10.1002/bbpc.19870911113}}, volume = {{91}}, year = {{1987}}, } @inbook{51486, author = {{Hilgert, Joachim}}, booktitle = {{Probability and Baysian Statistics}}, editor = {{Viertl, R.}}, publisher = {{Plenum Press}}, title = {{{Maximal Semigroups and the Support of Gauss-Semigroups}}}, year = {{1987}}, } @article{51452, author = {{Hilgert, Joachim}}, journal = {{Archiv Math.}}, pages = {{189--195}}, title = {{{Maximal Semigroups and Controllability in Products of Lie Groups}}}, volume = {{49}}, year = {{1987}}, } @inbook{54368, author = {{Hartig, Christine }}, booktitle = {{Das Antidepressivum Levoprotilin in Jena. Arzneimittelstudien westlicher Pharmaunternehmen in der DDR}}, editor = {{Steger, Florian and Jeskow, Jan}}, pages = {{23--38}}, title = {{{Kapitel 3: Das Genehmigungsverfahren der Studie an Patienten mit „Angstzuständen“ unter Mitarbeit von Florina Steger, Jan Jeskow)}}}, year = {{1987}}, } @article{55251, author = {{Milkov, Nikolay}}, journal = {{Darshana International }}, number = {{1}}, pages = {{47--53}}, title = {{{On the Reconstruction of the Early Wittgenstein’s Philosophy}}}, volume = {{27}}, year = {{1987}}, } @inbook{27968, author = {{Bigga, Regine}}, booktitle = {{Allgemeinbildung und Arbeit, Technik, Wirtschaft - Innovationen in Curriculum und Schul-Praxis.}}, pages = {{120--127}}, publisher = {{GATWU}}, title = {{{Anschauliches Lernen im Museum. }}}, year = {{1987}}, }