Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules

Autor
Godoy, G.; Ashish, T.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2005-07
Volum
3632
Pàgina inicial
164
Pàgina final
176
Grup de recerca
LOGPROG - Lògica i Programació

Participants