Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
1 Introduction unification unification
 

Summary: 3
E E
=
=
=
z x x
3
z
x
Abstract
E
H E E H
H E
H E
1 Introduction
unification unification
Mar'ia Alpuente Moreno Falaschi Giorgio Levi
Incremental Constraint Satisfaction for Equational Logic
Programming
This work was supported by ESPRIT Basic Research Action P3020 ``Integration'', by CICYT under grant

  

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

 

Collections: Computer Technologies and Information Sciences