Rewriting and narrowing for constructor systems with call-time choice semantics
ISSN: 1475-3081, 1471-0684
Any de publicació: 2014
Volum: 14
Número: 2
Pàgines: 165-213
Tipus: Article
ISSN: 1475-3081, 1471-0684
Any de publicació: 2014
Volum: 14
Número: 2
Pàgines: 165-213
Tipus: Article