Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Deciding the confluence of ordered term rewrite systems

Autor
Hubert, C.; Narendran, P.; Nieuwenhuis, R.; Rusinowitch, M.
Tipus d'activitat
Article en revista
Revista
ACM transactions on computational logic
Data de publicació
2003-01
Volum
4
Número
1
Pàgina inicial
35
Pàgina final
55
Grup de recerca
LOGPROG - Lògica i Programació

Participants