The following pages link to The monadic theory of order (Q1233019):
Displaying 31 items.
- The Compositional Method and Regular Reachability (Q4982089) (← links)
- Bisimulation Invariant Monadic-Second Order Logic in the Finite (Q5002802) (← links)
- A Feferman-Vaught Decomposition Theorem for Weighted MSO Logic. (Q5005180) (← links)
- The Subtrace Order and Counting First-Order Logic (Q5042249) (← links)
- On the Ehrenfeucht-Fraïssé game in theoretical computer science (Q5044763) (← links)
- DOWNWARD UNARY COLORINGS (Q5055024) (← links)
- THE COLORING OF THE TREE OF COLORINGS (Q5055030) (← links)
- (Q5094127) (← links)
- (Q5109508) (← links)
- Compositional Failure Detection in Structured Transition Systems (Q5200059) (← links)
- (Q5207048) (← links)
- Index Problems for Game Automata (Q5278187) (← links)
- On spectra of sentences of monadic second order logic with counting (Q5311744) (← links)
- (Q5376663) (← links)
- (Q5377469) (← links)
- Effective optimization with weighted automata on decomposable trees (Q5413875) (← links)
- Linear Recurrence Relations for Graph Polynomials (Q5452182) (← links)
- Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey (Q5452198) (← links)
- A KLEENE THEOREM FOR LANGUAGES OF WORDS INDEXED BY LINEAR ORDERINGS (Q5483372) (← links)
- LOGICAL ASPECTS OF CAYLEY-GRAPHS: THE MONOID CASE (Q5483463) (← links)
- On Expressive Power of Regular Expressions over Infinite Orders (Q5740199) (← links)
- Decidable Expansions of Labelled Linear Orderings (Q5892516) (← links)
- On the fixed parameter complexity of graph enumeration problems definable in monadic second-order logic (Q5928867) (← links)
- Interpreting the weak monadic second order theory of the ordered rationals (Q6094134) (← links)
- A note on edge colorings and trees (Q6094165) (← links)
- Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words (Q6098157) (← links)
- The monadic theory of order (Q6434947) (← links)
- Axiomatizability of propositionally quantified modal logics on relational frames (Q6545089) (← links)
- Some extensions to propositional mean-value calculus: expressiveness and decidability (Q6560182) (← links)
- Monadic monadic second order logic (Q6612795) (← links)
- Non-emptiness test for automata over words indexed by the reals and rationals (Q6666789) (← links)
