Expressive power of existential first-order sentences of Büchi's sequential calculus (Q1772275): Difference between revisions

@@ 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/j.disc.2004.04.027
+Normal rank
@@ Property / OpenAlex ID @@
+W2119414381
@@ Property / OpenAlex ID: W2119414381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4848740
@@ Property / cites work: Q4848740 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, languages and programming. 16th international colloquium, Stresa, Italy, July 11-15, 1989. Proceedings
+Normal rank
@@ Property / cites work @@
+Languages and scanners
@@ Property / cites work: Languages and scanners / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of locally testable events
@@ Property / cites work: Characterizations of locally testable events / rank @@
+Normal rank
@@ Property / cites work @@
+Q5618355
@@ Property / cites work: Q5618355 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-automaton aperiodicity is PSPACE-complete
@@ Property / cites work: Finite-automaton aperiodicity is PSPACE-complete / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of temporal logic
@@ Property / cites work: On the expressive power of temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4132170
@@ Property / cites work: Q4132170 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3666827
@@ Property / cites work: Q3666827 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic decision procedures for local testability
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999156
@@ Property / cites work: Q3999156 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order logic and star-free sets
@@ Property / cites work: First-order logic and star-free sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3776657
@@ Property / cites work: Q3776657 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3123631
@@ Property / cites work: Q3123631 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818843
@@ Property / cites work: Q4818843 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic, semigroups and automata on words
@@ Property / cites work: Logic, semigroups and automata on words / rank @@
+Normal rank
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of some problems from the theory of automata
+Normal rank
@@ Property / cites work @@
+Q4302435
@@ Property / cites work: Q4302435 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph congruences and wreath products
@@ Property / cites work: Graph congruences and wreath products / rank @@
+Normal rank
@@ Property / cites work @@
+Classifying regular events in symbolic logic
@@ Property / cites work: Classifying regular events in symbolic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036584
@@ Property / cites work: Q4036584 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Ehrenfeucht-Fraïssé game in theoretical computer science
+Normal rank
@@ Property / cites work @@
+Q4281563
@@ Property / cites work: Q4281563 / rank @@
+Normal rank