( en | de | ru )

 

Disambiguierung von "Mahr, Bernd"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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.

Bernd Mahr

Bernd Mahr

Bernd Mahr

Bernd Mahr

Bernd Mahr

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications., , , und . Comput. J., 35 (5): 468-477 (1992)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)Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, und . EATCS Monographs on Theoretical Computer Science Springer, (1985)Theory and Practice of Software Development: A Review of Driving Forces and Expectations., und . Bulletin of the EATCS, (1995)Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage, , , , und . Springer-Lehrbuch Springer, (2001)Algebraic Implementation of Abstract Data Types., , , und . Theor. Comput. Sci., (1982)Characterizing Specification Languages which Admit Initial Semantics., und . Theor. Comput. Sci., (1984)