Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems

Autor
Godoy, G.; Ashish, T.; Rakesh, M.
Tipus d'activitat
Article en revista
Revista
Applicable algebra in engineering communication and computing
Data de publicació
2004-01
Volum
15
Número
1
Pàgina inicial
13
Pàgina final
36
Grup de recerca
LOGPROG - Lògica i Programació

Participants