Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
abstract narrower THE JOURNAL OF LOGIC PROGRAMMING
 

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