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
Number of pages
268

Other Popular Editions of the Same Title

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

Featured Edition

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