Der Artikel wurde erfolgreich hinzugefügt.
Dr. Dominik Dietrich

Assertion Level Proof Planning with Compiled Strategies

• Universität des Saarlandes • Buch (Gebunden) • Dissertation • Englisch • Softcover (Paperback) • 21,0 x 14,8 cm (DIN A5) • XX / 341 Seiten • Neu (eingschweißt in Folie)
39,90 € *

inkl. MwSt. zzgl. Versandkosten

Lieferzeit ca. 5 Tage

  • 9783863760199
  • 978-3-86376-019-9
This book presents new techniques that allow the automatic verification and generation of... mehr

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.

Titel: Assertion Level Proof Planning with Compiled Strategies
Autor: Dr. Dominik Dietrich
Hochschule: Universität des Saarlandes
Erschienen: 1. Aufl. 10.08.2012
Fachbereich: Elektro- & Informationstechnik
Produkttyp: Buch (Gebunden)
Produktart: Dissertation
Sprache: Englisch
Einband: Softcover (Paperback)
Maße: 21,0 x 14,8 cm (DIN A5)
Umfang: XX / 341 Seiten
Zustand: Neu (eingschweißt in Folie)
Keywords: assertion level, backward aplication, CORE, declarative proof, declarative tactic, deduction modul, deep aplication, deep inference, inference paradigm, level proof, proof planning, proof refinement, proof scripts, proof strategies, proof theory, tautologies
Details "Assertion Level Proof Planning with Compiled Strategies"
Titel: Assertion Level Proof Planning with Compiled Strategies
Autor: Dr. Dominik Dietrich
Hochschule: Universität des Saarlandes
Erschienen: 1. Aufl. 10.08.2012
Fachbereich: Elektro- & Informationstechnik
Produkttyp: Buch (Gebunden)
Produktart: Dissertation
Sprache: Englisch
Einband: Softcover (Paperback)
Maße: 21,0 x 14,8 cm (DIN A5)
Umfang: XX / 341 Seiten
Zustand: Neu (eingschweißt in Folie)
Keywords: assertion level, backward aplication, CORE, declarative proof, declarative tactic, deduction modul, deep aplication, deep inference, inference paradigm, level proof, proof planning, proof refinement, proof scripts, proof strategies, proof theory, tautologies
Bewertungen lesen, schreiben und diskutieren... mehr
Kundenbewertungen für "Assertion Level Proof Planning with Compiled Strategies"
Bewertung schreiben
Bewertungen werden nach Überprüfung freigeschaltet.

Die mit einem * markierten Felder sind Pflichtfelder.

Fragen zum Buch 0
Lesen Sie von weiteren Kunden gestellte Fragen zu diesem Artikel mehr

Frage Stellen

Mit * gekennzeichnete Felder sind Pflichtfelder.

Beantwortete Fragen

Keine Fragen vorhanden
Frage stellen
200 @ detail
HTTP status 200
Controller Shopware_Controllers_Frontend_Detail :: Index
Controller class Shopware_Controllers_Frontend _Detail
Is logged in? no
0.773 s
Total time 0.773 s
37.32 MB
Peak memory usage 37.32 MB
PHP memory limit 9192MB
Guest
Template
Template frontend/detail/index.tpl frontend/plugins/seo/index.tpl frontend/plugins/six_readmore_text/index.tpl frontend/plugins/six_readmore_text/text.tpl frontend/dreisc_menu/index/header.tpl frontend/dreisc_menu/index/index.tpl
Template folders /var/www/clients/client1/web2/web/optimedien/themes/Frontend/OptitennTheme/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsExtraChanges/Resources/views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Core/ViisonPickwareERP/Views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Backend/ViisonDropShipping/Views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/BookSeries/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/CbaxLexiconResponsiveSW5/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/IesLazyLoading/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NeonContentCreator/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsArticleFromForm/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsFormStyles/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsLocationAutofill/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsSecureUpload/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagBundle/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagFuzzy/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagNewsletter/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagPaymentPayPalUnified/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagPromotion/Resources/views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/MillRatingSlider/Views/responsive/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagAdvancedCart/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagTicketSystem/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/saltyPerformanceAnalysis/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/MillIndexRouting/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/SwagBusinessEssentials/Resources/views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/MillOptimizedDetailRatings/Views/responsive/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/IdeeMediaAuthor/Views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/IdeeAddText/Views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsArticleQuestions/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsProductSuccessor/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsVariantDescription/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/OptitennExtras/Resources/views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/DreiscCms/Views/responsive/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/DreiscSeo/Views/responsive/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/IdeeContacts/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/NimbitsArticlePDFs/Resources/views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/PdweContentGallery/Resources/views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Default/Core/PaymentMethods/Views/responsive/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Backend/scha1AdditionalDetailTabs/Views2/responsive/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/LoyxxCategorySidebar/Views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Backend/WbmAlsoBought/Views/responsive/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/OncoTextFacet/Resources/views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/SixReadmoreText/Views/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/AntRegistrationUpload/Resources/views/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/OnCoPowerFilter/Views/responsive/ /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Frontend/DreiscMenu/Views/_default/ /var/www/clients/client1/web2/web/optimedien/themes/Frontend/Responsive/ /var/www/clients/client1/web2/web/optimedien/themes/Frontend/Bare/
Plugin folders /var/www/clients/client1/web2/web/optimedien/engine/Shopware/Plugins/Community/Backend/ViisonDHL/ViisonCommon/Subscribers/../Classes/SmartyPlugins/ /var/www/clients/client1/web2/web/optimedien/engine/Library/Enlight/Template/Plugins/ /var/www/clients/client1/web2/web/optimedien/engine/Library/Smarty/plugins/ /var/www/clients/client1/web2/web/optimedien/custom/plugins/FroshProfiler/Resources/smarty/ /var/www/clients/client1/web2/web/optimedien/themes/Frontend/OptitennTheme/_private/smarty/ /var/www/clients/client1/web2/web/optimedien/themes/Frontend/Responsive/_private/smarty/ /var/www/clients/client1/web2/web/optimedien/themes/Frontend/Bare/_private/smarty/
Cache folder /var/www/clients/client1/web2/web/optimedien/var/cache/production_201912171122/templates/blocks/
Compile folder /var/www/clients/client1/web2/web/optimedien/var/cache/production_201912171122/templates/blocks/
Events
registered events 1465
called events 2409
81 in 0.0004 ms
Cache Calls 81
Total time 0.0004 ms
Cache hits 79 / 79 (100%)
Cache writes 1
Database
Database Queries 409
Query time 0.0114 s
5.6.4
Environment production
PHP version 7.3.1   View phpinfo()
PHP Extensions xdebug accel
PHP SAPI fpm-fcgi
Cart