Erschienen in: Open Access 23.08.2016 A Complete Uniform Substitution Calculus for Differential Dynamic Logic verfasst von: André Platzer Erschienen in: Journal of Automated Reasoning | Ausgabe 2/2017 Diesen Artikel als PDF-Version lesen. loading … Vorheriger Artikel Semantically-Guided Goal-Sensitive Reasoning: Inference System and Completeness Nächster Artikel Fermat, Euler, Wilson - Three Case Studies in Number Theory download DOWNLOAD print DRUCKEN