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.
37419 Publications
1980 | Book (Editor) | LibreCat-ID: 15510
R. E. Hagengruber, Ed., Inseln im Ich. München: Matthes & Seitz, 1980.
LibreCat
1981 | Report | LibreCat-ID: 8184
G. Engels, U. Pletat, and H.-D. Ehrich, Handling Errors and Exceptions in the Algebraic Specifications of Data Types. University of Osnabrück, 1981.
LibreCat
1981 | Report | LibreCat-ID: 8185
U. Pletat, G. Engels, and H.-D. Ehrich, Operational Semantics of Algebraic Specifications with Conditional Equations. University of Dortmund, Department of Computer Science, 1981.
LibreCat
1981 | Book | LibreCat-ID: 30187 | 
J. Böcker, Ein Kreiskriterium für Mehrgrößensysteme und seine Anwendung auf mechanische Schwingungssysteme. Institut für Regelungstechnik, TU Berlin, 1981.
LibreCat
| Files available
1982 | Conference Paper | LibreCat-ID: 7811
G. Engels and W. Schäfer, “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), 1982, pp. 47–62.
LibreCat
1982 | Conference Paper | LibreCat-ID: 7812
U. Pletat, G. Engels, and H.-D. Ehrich, “An Operational Approach to Conditional Algebraic Specifications,” in Proceedings of the 7eme Colloque sur les Arbres en Algebre et en Programmation, Lille (France), 1982, vol. 82, pp. 254–270.
LibreCat