Interval logics and their decision procedures. I: An interval logic (Q671639): Difference between revisions

@@ Property / author @@
-P. Michael Melliar-Smith
@@ Property / author: P. Michael Melliar-Smith / rank @@
-Normal rank
@@ Property / author @@
-Louise E. Moser
@@ Property / author: Louise E. Moser / rank @@
-Normal rank
@@ Property / author @@
+P. Michael Melliar-Smith
@@ Property / author: P. Michael Melliar-Smith / rank @@
+Normal rank
@@ Property / author @@
+Louise E. Moser
@@ Property / author: Louise E. Moser / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(95)00254-5
+Normal rank
@@ Property / OpenAlex ID @@
+W1533229737
@@ Property / OpenAlex ID: W1533229737 / rank @@
+Normal rank
@@ Property / cites work @@
+Maintaining knowledge about temporal intervals
@@ Property / cites work: Maintaining knowledge about temporal intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of automata on \(\omega\)-tapes: a simplified approach
+Normal rank
@@ Property / cites work @@
+Q4518444
@@ Property / cites work: Q4518444 / rank @@
+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 @@
+Q4853317
@@ Property / cites work: Q4853317 / rank @@
+Normal rank
@@ Property / cites work @@
+The Weak Byzantine Generals Problem
@@ Property / cites work: The Weak Byzantine Generals Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711745
@@ Property / cites work: Q3711745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3816057
@@ Property / cites work: Q3816057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4318636
@@ Property / cites work: Q4318636 / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Q3696491
@@ Property / cites work: Q3696491 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q4853320
@@ Property / cites work: Q4853320 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256652
@@ Property / cites work: Q4256652 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval logics and their decision procedures. II: A real-time interval logic
+Normal rank
@@ Property / cites work @@
+Relationships between nondeterministic and deterministic tape complexities
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3888985
@@ Property / cites work: Q3888985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-theoretic techniques for modal logics of programs
+Normal rank
@@ Property / cites work @@
+Q4518421
@@ Property / cites work: Q4518421 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3710510
@@ Property / cites work: Q3710510 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:671639