Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Practical Algorithms for Deciding Path Ordering Constraint Satisfaction

Autor
Nieuwenhuis, R.; Rivero, J.
Tipus d'activitat
Article en revista
Revista
Information and computation
Data de publicació
2002-11
Volum
178
Número
2
Pàgina inicial
422
Pàgina final
440
Grup de recerca
LOGPROG - Lògica i Programació