Summary: 



Incremental Constraint Satisfaction for Equational Logic


Programming *



Mar'ia Alpuente z Moreno Falaschi x Giorgio Levix



Abstract


In this paper we are concerned with an instance of the CLP scheme specia*
*lized in

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

Collections: Computer Technologies and Information Sciences