Logic programming approach to automata-based decision procedures (Q347398): Difference between revisions

@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q4218939
@@ Property / cites work: Q4218939 / rank @@
+Normal rank
@@ Property / cites work @@
+Set constructors in a logic database language
@@ Property / cites work: Set constructors in a logic database language / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming Approach to Automata-Based Decision Procedures
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Automata, logics, and infinite games. A guide to current research
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of magic
@@ Property / cites work: On the power of magic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259968
@@ Property / cites work: Q4259968 / rank @@
+Normal rank
@@ Property / cites work @@
+MONA IMPLEMENTATION SECRETS
@@ Property / cites work: MONA IMPLEMENTATION SECRETS / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Q3739111
@@ Property / cites work: Q3739111 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding full branching time logic
@@ Property / cites work: Deciding full branching time logic / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating automata: Unifying truth and validity checking for temporal logics
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ Property / cites work @@
+An automata-theoretic approach to branching-time model checking
+Normal rank
@@ Property / cites work @@
+On model checking for the \(\mu\)-calculus and its fragments
+Normal rank
@@ Property / cites work @@
+Q4817549
@@ Property / cites work: Q4817549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754087
@@ Property / cites work: Q2754087 / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for CTL* Based on Tableaux and Automata
+Normal rank
@@ Property / cites work @@
+Q4547769
@@ Property / cites work: Q4547769 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+An automata theoretic decision procedure for the propositional mu- calculus
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Entailments in Inductive Separation Logic with Tree Automata
+Normal rank
@@ Property / cites work @@
+BDD-based decision procedures for the modal logic K ★
+Normal rank