Carregant...
Carregant...

Vés al contingut (premeu Retorn)

A combinatorial characterization of treelike resolution space

Autor
Esteban, J. L.; Toran, J.
Tipus d'activitat
Article en revista
Revista
Information processing letters
Data de publicació
2003-09
Volum
87
Número
6
Pàgina inicial
295
Pàgina final
300
URL
http://dx.doi.org/10.1016/S0020-0190(03)00345-4 Obrir en finestra nova
Grup de recerca
LOGPROG - Lògica i Programació

Participants