Items related to Foundations of Equational Logic Programming

Foundations of Equational Logic Programming - Softcover

Hölldobler, Steffen

 
9783662162132: Foundations of Equational Logic Programming
Softcover
ISBN 10: 366216213X ISBN 13: 9783662162132
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

Preliminaries.- Equational Logic Programming.- Universal Unification.- SLDE-Resolution.- Paramodulation.- Universal Unification by Complete Sets of Transformations.- Lazy Resolution and Complete Sets of Inference Rules for Horn Equational Theories.- Conclusion.

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

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
366216213X
ISBN 13 
9783662162132
Binding
Paperback

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540515333: Foundations of Equational Logic Programming: 353 (Lecture Notes in Computer Science, 353)

Featured Edition

ISBN 10:  354051533X ISBN 13:  9783540515333
Publisher: Springer, 1989
Softcover