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

@@ 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