Items related to Foundations of Equational Logic Programming (Lecture...

Foundations of Equational Logic Programming (Lecture Notes in Computer Science) - Softcover

Holldobler, Steffen

 
9780387515335: Foundations of Equational Logic Programming (Lecture Notes in Computer Science)
Softcover
ISBN 10: 038751533X ISBN 13: 9780387515335
Publisher: Springer Verlag, 1990

This specific ISBN edition is currently not available.

Synopsis

Foundations of Equational Logic Programming 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. Full description

"synopsis" may belong to another edition of this title.

Publisher
Springer Verlag
Publication date
1990
Language
English
ISBN 10 
038751533X
ISBN 13 
9780387515335
Binding
Paperback