direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Categorical Concepts for Logical Systems and Formal Specification in Computer Science
Zitatschlüssel EMW98
Autor Ehrig, H. and Martini, A. and Wolter, U.
Seiten 131–148
Jahr 1998
Nummer Band 63, Teil 1
Institution Fernuniversität Hagen
Typ der Publikation Seminarberichte aus dem Fachbereich Mathematik
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe