A comparison between two logical formalisms for rewriting
ISSN: 1471-0684, 1475-3081
Ano de publicación: 2007
Volume: 7
Número: 1-2
Páxinas: 183-213
Tipo: Artigo
ISSN: 1471-0684, 1475-3081
Ano de publicación: 2007
Volume: 7
Número: 1-2
Páxinas: 183-213
Tipo: Artigo