Assertion Level Proof Planning with Compiled Strategies
Dietrich, Dominik
Produktnummer:
181a395e2efc4142ac89f1179a05c4acb4
| Autor: | Dietrich, Dominik |
|---|---|
| Themengebiete: | CORE backward aplication declarative proof deduction modul deep inference level proof proof planning proof scripts proof strategies tautologies |
| Veröffentlichungsdatum: | 10.08.2012 |
| EAN: | 9783863760199 |
| Auflage: | 1 |
| Sprache: | Englisch |
| Seitenzahl: | 341 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Sievers & Partner |
Produktinformationen "Assertion Level Proof Planning with Compiled Strategies"
This book presents new techniques that allow the automatic verification and generation of abstract human-style proofs. The core of this approach builds an efficient calculus that works directly by applying definitions, theorems, and axioms, which reduces the size of the underlying proof object by a factor of ten. The calculus is extended by the deep inference paradigm which allows the application of inference rules at arbitrary depth inside logical expressions and provides new proofs that are exponentially shorter and not available in the sequent calculus without cut. In addition, a strategy language for abstract underspecified declarative proof patterns is developed. Together, the complementary methods provide a framework to automate declarative proofs. The benefits of the techniques are illustrated by practical applications.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen