A comparison between two logical formalisms for rewriting
ISSN: 1471-0684, 1475-3081
Année de publication: 2007
Volumen: 7
Número: 1-2
Pages: 183-213
Type: Article
ISSN: 1471-0684, 1475-3081
Année de publication: 2007
Volumen: 7
Número: 1-2
Pages: 183-213
Type: Article