Autor der Publikation

Complexity of Algebraic Implementations for Abstract Data Types.

, und . J. Comput. Syst. Sci., 23 (2): 223-253 (1981)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Empty Carriers: The Categorical Burden on Logic.. Categorial Methods in Computer Science, Volume 393 von Lecture Notes in Computer Science, Seite 50-65. Springer, (1988)Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties., und . Current Trends in Theoretical Computer Science, World Scientific, (2001)Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications., , , und . Comput. J., 35 (5): 468-477 (1992)Report on the Workshop "The Role of ODP in Medical Applications"., und . Open Distributed Processing, Volume C-20 von IFIP Transactions, Seite 387-394. North-Holland, (1993)An ODP-Oriented Framework for European Services in Telemedicine., , , und . Open Distributed Processing, Volume C-20 von IFIP Transactions, Seite 15-33. North-Holland, (1993)Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation., und . Sorts and Types in Artificial Intelligence, Volume 418 von Lecture Notes in Computer Science, Seite 286-304. Springer, (1989)Characterizing Specification Languages Which Admit Initial Semantics., und . CAAP, Volume 159 von Lecture Notes in Computer Science, Seite 300-316. Springer, (1983)A Birds Eye View to Path Problems.. WG, Volume 100 von Lecture Notes in Computer Science, Seite 335-353. Springer, (1980)Term Evaluation in Partial Algebras.. ADT, (1986)LEGO, LOGO und die Aufklärung. Kursbuch 80, Rotbuch Verlag, Berlin, (Mai 1985)