A comparison between two logical formalisms for rewriting
ISSN: 1471-0684, 1475-3081
Any de publicació: 2007
Volum: 7
Número: 1-2
Pàgines: 183-213
Tipus: Article
ISSN: 1471-0684, 1475-3081
Any de publicació: 2007
Volum: 7
Número: 1-2
Pàgines: 183-213
Tipus: Article