Model checking memoryful linear-time logics over one-counter automata (Q974117): Difference between revisions

@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Shuffle Expressions and Words with Nested Data
@@ Property / cites work: Shuffle Expressions and Words with Nested Data / rank @@
+Normal rank
@@ Property / cites work @@
+Two-variable logic on data trees and XML reasoning
+Normal rank
@@ Property / cites work @@
+Bounded Depth Data Trees
@@ Property / cites work: Bounded Depth Data Trees / rank @@
+Normal rank
@@ Property / cites work @@
+LTL with the freeze quantifier and register automata
+Normal rank
@@ Property / cites work @@
+On the freeze quantifier in Constraint LTL: Decidability and complexity
+Normal rank
@@ Property / cites work @@
+Safely Freezing LTL
@@ Property / cites work: Safely Freezing LTL / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+On the decidability and complexity of Metric Temporal Logic over finite words
+Normal rank
@@ Property / cites work @@
+An algebraic approach to data languages and timed languages
+Normal rank
@@ Property / cites work @@
+Finite state machines for strings over infinite alphabets
+Normal rank
@@ Property / cites work @@
+Automata and Logics for Words and Trees over an Infinite Alphabet
+Normal rank
@@ Property / cites work @@
+On Notions of Regularity for Data Languages
@@ Property / cites work: On Notions of Regularity for Data Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of modal and temporal logics with reference pointers
+Normal rank
@@ Property / cites work @@
+Bounded-Variable Fragments of Hybrid Logics
@@ Property / cites work: Bounded-Variable Fragments of Hybrid Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking hybrid logics (with an application to semistructured data)
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+DP lower bounds for equivalence-checking and model-checking of one-counter automata
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Model Checking Freeze LTL over One-Counter Automata
+Normal rank
@@ Property / cites work @@
+Q3674621
@@ Property / cites work: Q3674621 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
+Normal rank