Superposition for Higher-Order Logic
Series: Lecture Notes in Computer Science; 16088;
- Publisher's listprice EUR 117.69
-
48 811 Ft (46 487 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 12% (cc. 5 857 Ft off)
- Discounted price 42 954 Ft (40 909 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
48 811 Ft
Availability
Not yet published.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Springer Nature Switzerland
- Date of Publication 6 December 2025
- Number of Volumes 1 pieces, Book
- ISBN 9783032016690
- Binding Paperback
- No. of pages230 pages
- Size 235x155 mm
- Language English
- Illustrations Approx. 230 p. 700
Categories
Long description:
This monograph presents an extension of the superposition calculus to higher-order logic, also called simple type theory, and its implementation and empirical evaluation in an automated theorem prover.
The dissertation on which the volume is based won four prestigious honors: the Institute for Programming research and Algorithmics (IPA) dissertation award, the Bill McCune PhD Award in Automated Reasoning, the E.W. Beth Dissertation Prize, and the Ackermann Award. The book will be of value to researchers in the area of computer science logic, in particular those engaged with higher-order theorem proving.
More
Table of Contents:
Introduction.- Preliminaries.- Superposition for Lambda-Free Higher-Order Logic.- The Embedding Path Order for Lambda-Free Higher-Order Terms.- Superposition with Lambdas.- Superposition with Interpreted Booleans.- Superposition for Full Higher-Order Logic.- Conclusion.- References.
More
