direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

A Categorical Concept of Constraints for Algebraic Specifications
Zitatschlüssel Ehr89
Autor Ehrig, H.
Buchtitel Categorical Methods in Computer Science - with Aspects from Topology
Seiten 1–15
Jahr 1989
Jahrgang 393
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe