A complete uniform substitution calculus for differential dynamic logic (Q1707599): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-016-9385-1
@@ Property / DOI: 10.1007/s10817-016-9385-1 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+KeYmaera X
@@ Property / describes a project that uses: KeYmaera X / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3101115050
@@ Property / OpenAlex ID: W3101115050 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59611679
@@ Property / Wikidata QID: Q59611679 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06183
@@ Property / arXiv ID: 1601.06183 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+HRELTL: a temporal logic for hybrid systems
@@ Property / cites work: HRELTL: a temporal logic for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Banishing the rule of substitution for functional variables
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751369
@@ Property / cites work: Q2751369 / rank @@
+Normal rank
@@ Property / cites work @@
+Differential dynamic logic for hybrid systems
@@ Property / cites work: Differential dynamic logic for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Differential-algebraic Dynamic Logic for Differential-algebraic Programs
+Normal rank
@@ Property / cites work @@
+The Complete Proof Theory of Hybrid Systems
@@ Property / cites work: The Complete Proof Theory of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Structure of Differential Invariants and Differential Cut Elimination
+Normal rank
@@ Property / cites work @@
+Differential Game Logic
@@ Property / cites work: Differential Game Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Differential Hybrid Games
@@ Property / cites work: Differential Hybrid Games / rank @@
+Normal rank
@@ Property / cites work @@
+A Uniform Substitution Calculus for Differential Dynamic Logic
+Normal rank
@@ Property / cites work @@
+KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3801803
@@ Property / cites work: Q3801803 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838091
@@ Property / cites work: Q3838091 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/jar/Platzer17
@@ Property / DBLP publication ID: journals/jar/Platzer17 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-016-9385-1
@@ Property / DOI: 10.1007/S10817-016-9385-1 / rank @@
+Normal rank