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.
25 Publications
1987 | Book Chapter | LibreCat-ID: 19821
Representation independent query and update operations on propositional definite Horn formulas
H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.
LibreCat
| DOI
H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic, Berlin, Heidelberg, 1987, pp. 208–223.
1987 | Journal Article | LibreCat-ID: 17820
DFG fördert an der FAU: Projekt: Fallstudien zur Begründung einer Sozialgeschichte der Logik
V. Peckhaus, C. Thiel, FAU Uni-Kurier 70/71 (1987) 49.
LibreCat
V. Peckhaus, C. Thiel, FAU Uni-Kurier 70/71 (1987) 49.
1987 | Book Chapter | LibreCat-ID: 19359
Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 74. Jg. , 1987, pp. 8–14.
LibreCat
E.-M. Seng, in: Bürger- und Verkehrsverein Tübingen e.V. (Ed.), Tübinger Blätter, 74. Jg. , 1987, pp. 8–14.
1987 | Conference Paper | LibreCat-ID: 21791
Image based SAR product simulation for analysis
G. Domik, F. Leberl, in: ASPRS-ACSM, 1987.
LibreCat
G. Domik, F. Leberl, in: ASPRS-ACSM, 1987.
1987 | Conference Paper | LibreCat-ID: 7816
A Hybrid Interpreter in a Software Development Environment
G. Engels, A. Schürr, in: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), Springer, Berlin/Heidelberg, 1987, pp. 80–88.
LibreCat
G. Engels, A. Schürr, in: Proceedings of the 1st European Software Engineering Conference (ESEC ’87), Strasbourg (France), Springer, Berlin/Heidelberg, 1987, pp. 80–88.
1987 | Conference Paper | LibreCat-ID: 7817
On the Structure of Structure-Oriented Editors for Different Applications
G. Engels, M. Nagl, W. Schäfer, in: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, ACM SIGPLAN Notices, 1987, pp. 190–198.
LibreCat
G. Engels, M. Nagl, W. Schäfer, in: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Palo Alto, USA, ACM SIGPLAN Notices, 1987, pp. 190–198.
1987 | Conference Paper | LibreCat-ID: 8257
Graph Grammar Engineering: A Software Specification Method
G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.
LibreCat
| DOI
G. Engels, C. Lewerentz, W. Schäfer, in: Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), Springer, Berlin/Heidelberg, 1987, pp. 186–201.
1987 | Journal Article | LibreCat-ID: 16772
A Time-Space Tradeoff for Element Distinctness
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 97–99.
LibreCat
| DOI
A. Borodin, F. Fich, F. Meyer auf der Heide, E. Upfal, A. Wigderson, SIAM Journal on Computing (1987) 97–99.
1987 | Journal Article | LibreCat-ID: 16773
The Complexity of Parallel Sorting
F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107.
LibreCat
| DOI
F. Meyer auf der Heide, A. Wigderson, SIAM Journal on Computing (1987) 100–107.
1987 | Conference Paper | LibreCat-ID: 16916
Digital Rectification Method for Radar Images Applied on Huge Arrays
G. Domik, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.
LibreCat
G. Domik, in: Proceedings of the First Int’l. Workshop on Image Rectification Tech. for Spaceborne Synthetic Aperture Radar, 1987, pp. 67–68.
1987 | Conference Paper | LibreCat-ID: 11795
Optimal Carrier Recovery and Detection on Frequency-Nonselective Fading Channels
R. Haeb-Umbach, H. Meyr, in: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, 1987.
LibreCat
R. Haeb-Umbach, H. Meyr, in: Proc. Symposium on Inf. Theory and Appl. (SITA), Tokio, 1987.
1987 | Conference Paper | LibreCat-ID: 15038
Methods and application of surface shape reconstruction from multiple SAR images
G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.
LibreCat
G. Domik, in: IGARSS’87-International Geoscience and Remote Sensing Symposium, 1987, pp. 1551–1555.
1987 | Conference Paper | LibreCat-ID: 15050
Methods and accuracy of operational digital image mapping with aircraft SAR
F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.
LibreCat
F. Leberl, G. Domik, B.J. Mercer, in: 1987 ASPRS ACSM Annual Convention, 1987, pp. 148–158.
1987 | Book Chapter | LibreCat-ID: 17819
Interdisziplinäres Institut für Wissenschaftstheorie und Wissenschaftsgeschichte
V. Peckhaus, R. Kötter, in: Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987), 1987, p. 89.
LibreCat
V. Peckhaus, R. Kötter, in: Friedrich-Alexander-Universität Erlangen-Nürnberg. Jahresbericht 1984/85 und 1985/86 (Mai 1987), 1987, p. 89.
1987 | Journal Article | LibreCat-ID: 35394
Molecular motions from two-dimensional NMR of powders: Comparison of rotational jumps and diffusive reorientations
C. Schmidt, B. Blümich, S. Wefing, S. Kaufmann, H.W. Spiess, Berichte Der Bunsengesellschaft Für Physikalische Chemie 91 (1987) 1141–1145.
LibreCat
| DOI
C. Schmidt, B. Blümich, S. Wefing, S. Kaufmann, H.W. Spiess, Berichte Der Bunsengesellschaft Für Physikalische Chemie 91 (1987) 1141–1145.
1987 | Book Chapter | LibreCat-ID: 51486
Maximal Semigroups and the Support of Gauss-Semigroups
J. Hilgert, in: R. Viertl (Ed.), Probability and Baysian Statistics, Plenum Press, New York, 1987.
LibreCat
J. Hilgert, in: R. Viertl (Ed.), Probability and Baysian Statistics, Plenum Press, New York, 1987.
1987 | Journal Article | LibreCat-ID: 51452
Maximal Semigroups and Controllability in Products of Lie Groups
J. Hilgert, Archiv Math. 49 (1987) 189–195.
LibreCat
J. Hilgert, Archiv Math. 49 (1987) 189–195.
1987 | Book Chapter | LibreCat-ID: 54368
Kapitel 3: Das Genehmigungsverfahren der Studie an Patienten mit „Angstzuständen“ unter Mitarbeit von Florina Steger, Jan Jeskow)
C. Hartig, in: F. Steger, J. Jeskow (Eds.), Das Antidepressivum Levoprotilin in Jena. Arzneimittelstudien westlicher Pharmaunternehmen in der DDR, 1987, pp. 23–38.
LibreCat
C. Hartig, in: F. Steger, J. Jeskow (Eds.), Das Antidepressivum Levoprotilin in Jena. Arzneimittelstudien westlicher Pharmaunternehmen in der DDR, 1987, pp. 23–38.
1987 | Journal Article | LibreCat-ID: 55251
On the Reconstruction of the Early Wittgenstein’s Philosophy
N. Milkov, Darshana International 27 (1987) 47–53.
LibreCat
N. Milkov, Darshana International 27 (1987) 47–53.
1987 | Book Chapter | LibreCat-ID: 27968
Anschauliches Lernen im Museum.
R. Bigga, in: Allgemeinbildung und Arbeit, Technik, Wirtschaft - Innovationen in Curriculum und Schul-Praxis., GATWU, Oldenburg, 1987, pp. 120–127.
LibreCat
R. Bigga, in: Allgemeinbildung und Arbeit, Technik, Wirtschaft - Innovationen in Curriculum und Schul-Praxis., GATWU, Oldenburg, 1987, pp. 120–127.