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.
6 Publications
1981 | Report | LibreCat-ID: 8184
Engels, Gregor, Udo Pletat, and Hans-Dietrich Ehrich. Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.
LibreCat
1981 | Report | LibreCat-ID: 8185
Pletat, Udo, Gregor Engels, and Hans-Dietrich Ehrich. Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981.
LibreCat
1981 | Book Chapter | LibreCat-ID: 16813
Meyer auf der Heide, Friedhelm, and Anton Rollik. “Random Access Machines and Straight-Line Programs.” In Fundamentals of Computation Theory. Berlin, Heidelberg, 1981. https://doi.org/10.1007/3-540-10854-8_29.
LibreCat
| DOI
1981 | Book Chapter | LibreCat-ID: 16814
Meyer auf der Heide, Friedhelm. “Time-Processor Trade-Offs for Universal Parallel Computers.” In Lecture Notes in Computer Science. Berlin, Heidelberg, 1981. https://doi.org/10.1007/3-540-10856-4_111.
LibreCat
| DOI
1981 | Journal Article | LibreCat-ID: 16820
Meyer auf der Heide, Friedhelm. “A Comparison of Two Variations of a Pebble Game on Graphs.” Theoretical Computer Science, 1981, 315–22. https://doi.org/10.1016/s0304-3975(81)80004-7.
LibreCat
| DOI
1981 | Book | LibreCat-ID: 30187 | 
Böcker, Joachim. Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme. Institut für Regelungstechnik, TU Berlin, 1981.
LibreCat
| Files available