Carregant...
Carregant...

Vés al contingut (premeu Retorn)

A monotonic Higher-Order Semantic Path Ordering

Autor
Rubio, A.
Tipus d'activitat
Article en revista
Revista
Lecture notes in computer science
Data de publicació
2001-12
Volum
2250
Pàgina inicial
531
Pàgina final
547
Grup de recerca
LOGPROG - Lògica i Programació

Participants