direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Non-equivalence of categories for equational algebraic specifications in view of High-Level-Replacement systems
Zitatschlüssel EPP91b
Autor Ehrig, H. and Parisi-Presicce, F.
Buchtitel Proc. WADT-COMPASS-Workshop Dourdan, 1991
Seiten 222–235
Jahr 1992
Jahrgang 655
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe