Decidability of a Hybrid Duration Calculus (Q2867952): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2006.11.029
+Normal rank
@@ Property / OpenAlex ID @@
+W2072122432
@@ Property / OpenAlex ID: W2072122432 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a general theory of action and time
@@ Property / cites work: Towards a general theory of action and time / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Q4412851
@@ Property / cites work: Q4412851 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520799
@@ Property / cites work: Q4520799 / rank @@
+Normal rank
@@ Property / cites work @@
+A mixed decision method for duration calculus
@@ Property / cites work: A mixed decision method for duration calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Take It NP-Easy: Bounded Model Construction for Duration Calculus
+Normal rank
@@ Property / cites work @@
+Model-checking dense-time duration calculus
@@ Property / cites work: Model-checking dense-time duration calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A Road Map of Interval Temporal Logics and Duration Calculi
+Normal rank
@@ Property / cites work @@
+Q3318104
@@ Property / cites work: Q3318104 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional modal logic of time intervals
@@ Property / cites work: A propositional modal logic of time intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Duration calculus: Logical foundations
@@ Property / cites work: Duration calculus: Logical foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Spatio-temporal Model Checking for Mobile Real-Time Systems
+Normal rank
@@ Property / cites work @@
+Non-elementary lower bound for Propositional Duration Calculus
+Normal rank
@@ Property / cites work @@
+On the decidability of continuous time specification formalisms
+Normal rank
@@ Property / cites work @@
+Duration calculus. A formal approach to real-time systems.
+Normal rank
@@ Property / cites work @@
+Q4281508
@@ Property / cites work: Q4281508 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank