Summary: 3
1
fl
3
?
!
Keywords:
abstract narrower
THE JOURNAL OF LOGIC PROGRAMMING
MARIA ALPUENTE, MORENO FALASCHI, AND
FERDINANDO MANZO
ANALYSES OF UNSATISFIABILITY FOR
EQUATIONAL LOGIC PROGRAMMING
Address correspondence to
Address correspondence to
Address correspondence to
J. LOGIC PROGRAMMING 1993:12:1--199
This work has been partially supported by CICYT under grant TIC 92­0793­C02­02
Departamento de Sistemas Inform'aticos y Computaci'on, Univer­
sidad Polit'ecnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46020 Valencia, Spain, e.mail:

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

Collections: Computer Technologies and Information Sciences