Hybrid and First-Order Complete Extensions of CaRet (Q3010360): Difference between revisions

@@ Property / cites work @@
+First-Order and Temporal Logics for Nested Words
@@ Property / cites work: First-Order and Temporal Logics for Nested Words / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Adding Nesting Structure to Words
@@ Property / cites work: Adding Nesting Structure to Words / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity and Succinctness Issues for Linear-Time Hybrid Logics
+Normal rank
@@ Property / cites work @@
+Hybrid and First-Order Complete Extensions of CaRet
+Normal rank
@@ Property / cites work @@
+Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages
+Normal rank
@@ Property / cites work @@
+CaRet With Forgettable Past
@@ Property / cites work: CaRet With Forgettable Past / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking hybrid logics (with an application to semistructured data)
+Normal rank
@@ Property / cites work @@
+A hierarchy of temporal logics with past
@@ Property / cites work: A hierarchy of temporal logics with past / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating finite automata on \(\omega\)-words
@@ Property / cites work: Alternating finite automata on \(\omega\)-words / rank @@
+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 @@
+Q4547769
@@ Property / cites work: Q4547769 / rank @@
+Normal rank