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.

10077 Publications


1980 | Book Chapter | LibreCat-ID: 16815
Klein, P., & Meyer auf der Heide, F. (1980). Untere Zeitschranken für das Rucksack-Problem. In GI - 10. Jahrestagung. Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67838-7_34
LibreCat | DOI
 

1980 | Book (Editor) | LibreCat-ID: 15510
Hagengruber, R. (Ed.). (1980). Inseln im Ich. München: Matthes & Seitz.
LibreCat
 

1981 | Book Chapter | LibreCat-ID: 16813
Meyer auf der Heide, F., & Rollik, A. (1981). Random access machines and straight-line programs. In Fundamentals of Computation Theory. Berlin, Heidelberg. https://doi.org/10.1007/3-540-10854-8_29
LibreCat | DOI
 

1981 | Journal Article | LibreCat-ID: 16820
Meyer auf der Heide, F. (1981). A comparison of two variations of a pebble game on graphs. Theoretical Computer Science, 315–322. https://doi.org/10.1016/s0304-3975(81)80004-7
LibreCat | DOI
 

1981 | Report | LibreCat-ID: 8184
Engels, G., Pletat, U., & Ehrich, H.-D. (1981). Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück.
LibreCat
 

1981 | Book Chapter | LibreCat-ID: 16814
Meyer auf der Heide, F. (1981). Time-processor trade-offs for universal parallel computers. In Lecture Notes in Computer Science. Berlin, Heidelberg. https://doi.org/10.1007/3-540-10856-4_111
LibreCat | DOI
 

1981 | Report | LibreCat-ID: 8185
Pletat, U., Engels, G., & Ehrich, H.-D. (1981). Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7811
Engels, G., & Schäfer, W. (1982). Specification of a Programming Support Environment by Graph Grammars. In Proceedings of the conference on Graphtheoretic Concepts in Computer Science (WG`82), München (Germany) (pp. 47–62). München/Leipzig: Hanser.
LibreCat
 

1982 | Conference Paper | LibreCat-ID: 7812
Pletat, U., Engels, G., & Ehrich, H.-D. (1982). An Operational Approach to Conditional Algebraic Specifications. In Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France) (Vol. 82, pp. 254–270).
LibreCat
 

1983 | Journal Article | LibreCat-ID: 16808
Meyer auf der Heide, F. (1983). Infinite cube-connected cycles. Information Processing Letters, 1–2. https://doi.org/10.1016/0020-0190(83)90001-7
LibreCat | DOI
 

Filters and Search Terms

year<=2030 AND year>=1980

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year
Citation Style: APA

Export / Embed