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.
1746 Publications
1987 | Book Chapter | LibreCat-ID: 19821
Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query and Update Operations on Propositional Definite Horn Formulas.” Computation Theory and Logic, edited by Egon Börger, 1987, pp. 208–23, doi:10.1007/3-540-18170-9_167.
LibreCat
| DOI
1987 | Book Chapter | LibreCat-ID: 19359
Seng, Eva-Maria. “Ein Hauch von Paris ... Die Planung für den Tübinger Uhlandplatz durch Christian Friedrich von Leins.” Tübinger Blätter, 74. Jg. , edited by Bürger- und Verkehrsverein Tübingen e.V., vol. 74. Jg., 1987, pp. 8–14.
LibreCat
1987 | Conference Paper | LibreCat-ID: 8257
Engels, Gregor, et al. “Graph Grammar Engineering: A Software Specification Method.” Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, Warrenton, VA (USA), vol. 291, Springer, 1987, pp. 186–201, doi:dx.doi.org/10.1007/3-540-18771-5.
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 19477
Seng, Eva-Maria. “Architekten- und Künstlerbiographien.” Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), edited by Kulturamt der Universitätsstadt Tübingen , 1986, pp. 102–08.
LibreCat
1986 | Book Chapter | LibreCat-ID: 19819
Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under Various Satisfiability Definitions.” 8th International Conference on Automated Deduction, 1986, doi:10.1007/3-540-16780-3_119.
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 19360
Seng, Eva-Maria. “Die Zeichner und die Art der Darstellung - Zur Entwicklung und Funktion der Architekturzeichnung im 19. Jahrhundert.” Ehrwürdige Zeugen verschwundener Tage, Tübinger Baudenkmale in Architekturzeichnungen des 19. Jahrhunderts, Katalog zur Ausstellung Tübingen 1986 (Tübinger Kataloge Nr. 29), edited by Kulturamt der Universitätsstadt Tübingen , vol. Nr. 29, 1986, pp. 4–16.
LibreCat
1986 | Book Chapter | LibreCat-ID: 19364
Seng, Eva-Maria. “Das Ulmer Hauptwerk: Der Blaubeurer Hochaltar und die Erhart-Frage.” Blätter für württembergische Kirchengeschichte, 86. Jg. , edited by Gerhart Schäfer and Martin Brecht, vol. 86. Jg., 1986, pp. 299–319.
LibreCat
1986 | Book Chapter | LibreCat-ID: 16774
Borodin, Allan, et al. “A Tradeoff between Search and Update Time for the Implicit Dictionary Problem.” Automata, Languages and Programming, 1986, doi:10.1007/3-540-16761-7_54.
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 16775
Meyer auf der Heide, Friedhelm. “Speeding up Random Access Machines by Few Processors.” STACS 86, 1986, doi:10.1007/3-540-16078-7_72.
LibreCat
| DOI
1986 | Book Chapter | LibreCat-ID: 16776
Borodin, A., et al. “A Time-Space Tradeoff for Element Distinctness.” STACS 86, 1986, doi:10.1007/3-540-16078-7_89.
LibreCat
| DOI