Visibly linear temporal logic (Q682377): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-017-9410-z
@@ Property / DOI: 10.1007/s10817-017-9410-z / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bebop
@@ Property / describes a project that uses: Bebop / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-017-9410-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2593997315
@@ Property / OpenAlex ID: W2593997315 / rank @@
+Normal rank
@@ Property / cites work @@
+Marrying Words and Trees
@@ Property / cites work: Marrying Words and Trees / rank @@
+Normal rank
@@ 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 @@
+Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization
+Normal rank
@@ Property / cites work @@
+Q4472249
@@ Property / cites work: Q4472249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753756
@@ Property / cites work: Q2753756 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking
+Normal rank
@@ Property / cites work @@
+Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages
+Normal rank
@@ Property / cites work @@
+Visibly Rational Expressions
@@ Property / cites work: Visibly Rational Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly rational expressions
@@ Property / cites work: Visibly rational expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation Elimination for Automata over Nested Words
+Normal rank
@@ Property / cites work @@
+On regular temporal logics with past
@@ Property / cites work: On regular temporal logics with past / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic linear time temporal logic
@@ Property / cites work: Dynamic linear time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+Weak alternating automata are not that weak
@@ Property / cites work: Weak alternating automata are not that weak / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+Regular Linear Temporal Logic
@@ Property / cites work: Regular Linear Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Query Automata for Nested Words
@@ Property / cites work: Query Automata for Nested Words / 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 @@
+Alternating automata on infinite trees
@@ Property / cites work: Alternating automata on infinite trees / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Linear Temporal Logic with Past
@@ Property / cites work: Regular Linear Temporal Logic with Past / rank @@
+Normal rank
@@ Property / cites work @@
+How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly Linear Dynamic Logic
@@ Property / cites work: Visibly Linear Dynamic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite games on finitely coloured graphs with applications to automata on infinite trees
+Normal rank
@@ Property / DOI @@
+.1007/S10817-017-9410-Z
@@ Property / DOI: 10.1007/S10817-017-9410-Z / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:682377