Decidable Expansions of Labelled Linear Orderings (Q5892516): Difference between revisions

← Older edit

@@ description / en / description / en @@
-scientific article; zbMATH DE number 5900074
+scientific article; zbMATH DE number 5779201
@@ Property / zbMATH Open document ID @@
+.03025
@@ Property / zbMATH Open document ID: 1287.03025 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-642-15025-8_5
@@ Property / DOI: 10.1007/978-3-642-15025-8_5 / rank @@
+Normal rank
@@ Property / published in @@
+Fields of Logic and Computation
@@ Property / published in: Fields of Logic and Computation / rank @@
+Normal rank
@@ Property / publication date @@
+September 2010Timestamp +2010-09-03T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2010-09-03T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 3 September 2010 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5779201
@@ Property / zbMATH DE Number: 5779201 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2232
@@ Property / arXiv ID: 1102.2232 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1902289782
@@ Property / OpenAlex ID: W1902289782 / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly maximal decidable structures
@@ Property / cites work: Weakly maximal decidable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmaximal decidable structures
@@ Property / cites work: Nonmaximal decidable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3086920
@@ Property / cites work: Q3086920 / rank @@
+Normal rank
@@ Property / cites work @@
+DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS &lt; ω2
+Normal rank
@@ Property / cites work @@
+The monadic theory of morphic infinite words and generalizations
+Normal rank
@@ Property / cites work @@
+Decidability and undecidability of extensions of second (first) order theory of (generalized) successor
+Normal rank
@@ Property / cites work @@
+Modest theory of short chains. I
@@ Property / cites work: Modest theory of short chains. I / rank @@
+Normal rank
@@ Property / cites work @@
+The monadic theory of <i>ω</i><sub>2</sub>
@@ Property / cites work: The monadic theory of <i>ω</i><sub>2</sub> / rank @@
+Normal rank
@@ Property / cites work @@
+Modest theory of short chains. II
@@ Property / cites work: Modest theory of short chains. II / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreting second-order logic in the monadic theory of order
+Normal rank
@@ Property / cites work @@
+Algorithmic uses of the Feferman-Vaught theorem
@@ Property / cites work: Algorithmic uses of the Feferman-Vaught theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5317419
@@ Property / cites work: Q5317419 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+On decidability of monadic logic of order over the naturals extended by monadic predicates
+Normal rank
@@ Property / cites work @@
+Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
+Normal rank
@@ Property / cites work @@
+Restricted Set-Theoretical Definitions in Arithmetic
+Normal rank
@@ Property / cites work @@
+Q3949052
@@ Property / cites work: Q3949052 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3346281
@@ Property / cites work: Q3346281 / rank @@
+Normal rank
@@ Property / cites work @@
+LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Q3816047
@@ Property / cites work: Q3816047 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on undecidable extensions of monadic second order successor arithmetic
+Normal rank
@@ Property / cites work @@
+Q4362730
@@ Property / cites work: Q4362730 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Transformations in Decidability Proofs for Monadic Theories
+Normal rank