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 Narrowing Approximations as an Optimization
 

Summary: ?
?
E
E
1
2
1 2 1 1
modulo
1 Introduction
Abstract.
Keywords:
Narrowing Approximations as an Optimization
for Equational Logic Programs
abstract narrower
Conselleria de Cultura, Educaci'o i Ci`encia de
la Generalitat Valenciana
Mar'ia Alpuente , Moreno Falaschi , Mar'ia Jos'e Ramis and Germ'an Vidal
The recent interest in logic programming with equations [12,16,18] has pro­
moted much work on equational unification [14,16,27] and narrowing [16,23].
Equational unification ( ­unification) characterizes the problem of solving equa­

  

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

 

Collections: Computer Technologies and Information Sciences