Home › Biblio

Biblio

Export 4 results:
Sort by: Author Keyword Title Type [ Year (Desc)]
Filters: Author is Lipeck, U.  [Clear All Filters]
1986
Ehrich, H. - D., K. Drosten, M. Gogolla, U. Lipeck, and (eds), "Abstracts of the 4th Workshop on Specification of Abstract Data Types", Abstracts of the 4th Workshop on Specification of Abstract Data Types: Informatik-Bericht Nr. 86-09, Technische Universität Braunschweig, 1986. Abstract
1983
Gogolla, M., K. Drosten, U. Lipeck, and H. - D. Ehrich, "Algebraic and operational semantics of exceptions and errors", Proc. 6. GI-Fachtagung für Theoretische Informatik: Springer LNCS 145, 1983. Abstract  Download: 1983ExceptErrors.pdf (198.63 KB)
Ehrich, H. - D., and U. Lipeck, "Algebraic domain equations", Theoretical Computer Science, vol. 27, pp. 167-196, 1983. Abstract  Download: 1983TCS-ADE.pdf (951.11 KB)
1982
Drosten, K., M. Gogolla, H. - D. Ehrich, and U. Lipeck, "A Hierarchical Approach to an Operational Semantics for Conditional Algebraic Specifications", Berichte der Abteilung Informatik, vol. 144: Universität Dortmund, 1982. Abstract