Summary: 3
=
=
=
3
z
x
z x x
x
H E
E H E
H E
Abstract
1. Introduction
Mar'ia Alpuente Moreno Falaschi Maurizio Gabbrielli
Giorgio Levi
The Semantics of Equational Logic
Programming as an instance of CLP
This work was supported by ESPRIT Basic Research Action P3020 ``Integration'', by CICYT
under grant TIC 91­0425, and by ``Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo of

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

Collections: Computer Technologies and Information Sciences