Foundations of equational logic programming
Auteur :
Holldobler, Steffen
Éditeur :
Holldobler, Steffen
ISBN :
9783540515333
Date de publication :
11 oct. 1989
Dimensions :
24,0 x 16,0 x 1,4 cm
Poids :
830 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Equations play a vital role in many fields. This book presents the foundations of equational logic programming. Generalizing logic programming by augmenting programs with a conditional equational theory, it defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting.