Pages that link to "Item:Q1254240"
From MaRDI portal
The following pages link to Büchi's monadic second order successor arithmetic. (Q1254240):
Displayed 7 items.
- The structure of the models of decidable monadic theories of graphs (Q810005) (← links)
- Complementing deterministic Büchi automata in polynomial time (Q1116702) (← links)
- Expressibility in a restricted second-order arithmetic (Q1258737) (← links)
- Logic, semigroups and automata on words (Q1817074) (← links)
- A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (Q3643267) (← links)
- The recursive sets in certain monadic second order fragments of arithmetic (Q4088807) (← links)
- A list of arithmetical structures complete with respect to the first-order definability (Q5941257) (← links)