Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
J. LOGIC PROGRAMMING 1993:12:1-199 * ANALYSES OF UNSATISFIABILITY FOR
 

Summary: _______________________________________________________________________________*
*__
J. LOGIC PROGRAMMING 1993:12:1-199 *
* 1



_______________________________________________________________________________*
*__


ANALYSES OF UNSATISFIABILITY FOR

EQUATIONAL LOGIC PROGRAMMING *



MARIA ALPUENTE, MORENO FALASCHI, AND

FERDINANDO MANZO

  

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

 

Collections: Computer Technologies and Information Sciences