Rewriting and narrowing for constructor systems with call-time choice semantics
ISSN: 1475-3081, 1471-0684
Datum der Publikation: 2014
Ausgabe: 14
Nummer: 2
Seiten: 165-213
Art: Artikel
ISSN: 1475-3081, 1471-0684
Datum der Publikation: 2014
Ausgabe: 14
Nummer: 2
Seiten: 165-213
Art: Artikel