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

Holldobler, Steffen

Softcover

ISBN 10: 038751533X ISBN 13: 9780387515335

Publisher: Springer Verlag, 1990

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

Edition details

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