direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publications Prof. Hartmut Ehrig (TFS)

Algebraic Methods in the Compositional Analysis of Logic Programs
Zitatschlüssel OPE94
Autor Orejas, F. and Pino, E. and Ehrig, H.
Buchtitel Proc. MFCS'94
Jahr 1994
Jahrgang 841
Verlag SPRINGER
Serie LNCS
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe