Happy Holidays—Our $30 Gift Card just for you, and books ship free! Shop now>>

Texts in Theoretical Computer Science. An EATCS Series

The Resolution Calculus

Authors: Leitsch, Alexander

Free Preview

Buy this book

eBook 63,06 €
price for Spain (gross)
  • ISBN 978-3-642-60605-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 77,99 €
price for Spain (gross)
  • ISBN 978-3-642-64473-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this Textbook

This is a completely new presentation of resolution as a logical calculus and as a basis for computational algorithms and decision procedures.
The first part deals with the traditional topics (Herbrand's theorem, completeness of resolution, refinements and deletion) but with many new features and concepts like normalization of clauses, resolution operators, and search complexity.
Building on this foundation, the second part gives a systematic treatment of recent research topics. It is shown how resolution decision procedures can be applied to solve the decision problem for some important first-order classes. The complexity of resolution is analyzed in terms of Herbrand complexity, and new concepts like ground projection are used to classify the complexity of refinements. Finally, the method of functional extension is introduced; combined with resolution it gives a computational calculus which is stronger than most others.

Table of contents (6 chapters)

Table of contents (6 chapters)

Buy this book

eBook 63,06 €
price for Spain (gross)
  • ISBN 978-3-642-60605-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 77,99 €
price for Spain (gross)
  • ISBN 978-3-642-64473-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The Resolution Calculus
Authors
Series Title
Texts in Theoretical Computer Science. An EATCS Series
Copyright
1997
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-60605-2
DOI
10.1007/978-3-642-60605-2
Softcover ISBN
978-3-642-64473-3
Series ISSN
1862-4499
Edition Number
1
Number of Pages
VIII, 300
Topics