Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!

Treffer: Towards correctness of program transformations through unification and critical pair computation

Titel:
Towards correctness of program transformations through unification and critical pair computation / Conrad Rau and Manfred Schmidt-Schauß
Beteiligt:
Rau, Conrad; Schmidt-Schauß, Manfred
Veröffent­licht:
Frankfurt [am Main] : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2010
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Technical report Frank ; 41
alle Bände anzeigen
Vorliegende Ausgabe:
Online-Ausg.: [Frankfurt am Main : Univ.-Bibliothek], 2010. - Online-Ressource
Open Access Rechte:
Open Access

Zusatz-Informationen

Zusatz-Funktionen