direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Nonequivalence of Categories for Equational Algebraic Specifications in View of High-Level Replacement Systems
Zitatschlüssel EP91
Autor Ehrig, H. and Parisi-Presicce, F.
Jahr 1991
Nummer 91/16
Notiz Short version in Proc. 3rd Conf. on Algebraic and Logic Programming, Pisa, 1992
Institution FB13
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe