Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Derivaciones perezosas en Programaci'on L'ogica con restricciones ecuacionales*
 

Summary: 



Derivaciones perezosas en Programaci'on L'ogica con restricciones


ecuacionales*



Mar'ia Jos'e Ramis z Javier Piris z Mar'ia Alpuente z



Resumen


El lenguaje CLP(H=E) es una instancia del esquema CLP [17] que resuelve *
*ecuaciones bajo una

  

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

 

Collections: Computer Technologies and Information Sciences