Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Efficient deduction in equality horn logic by horn-completion

Autor
Nieuwenhuis, R.; Nivela, M.
Tipus d'activitat
Article en revista
Revista
Information processing letters
Data de publicació
1991-07
Volum
0
Número
39
Pàgina inicial
1
Pàgina final
6
Grup de recerca
LOGPROG - Lògica i Programació