Pages that link to "Item:Q1853615"
From MaRDI portal
The following pages link to On infinite transition graphs having a decidable monadic theory (Q1853615):
Displaying 25 items.
- Properties and limits of recognition of sets of integers by countable automata (Q628831) (← links)
- Logical aspects of Cayley-graphs: the group case (Q705541) (← links)
- On the complexity of a family of \(k\)-context-free sequences (Q764304) (← links)
- Regular sets over extended tree structures (Q764339) (← links)
- Linearly bounded infinite graphs (Q852011) (← links)
- On complexity functions of infinite words associated with generalized Dyck languages (Q954986) (← links)
- Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
- Reachability on prefix-recognizable graphs (Q975403) (← links)
- The theory of ends, pushdown automata, and second-order logic (Q1084096) (← links)
- Generalizing input-driven languages: theoretical and practical benefits (Q1706605) (← links)
- Families of automata characterizing context-sensitive languages (Q1772107) (← links)
- Shelah-Stupp's and Muchnik's iterations revisited (Q2117107) (← links)
- Rabin's theorem in the concurrency setting: a conjecture (Q2253187) (← links)
- On first-order logic and CPDA graphs (Q2254514) (← links)
- Epsilon-reducible context-free languages and characterizations of indexed languages (Q2280325) (← links)
- Deciding regular grammar logics with converse through first-order logic (Q2567343) (← links)
- Model-checking CTL* over flat Presburger counter systems (Q2901199) (← links)
- Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus (Q2946334) (← links)
- ALGEBRAIC LINEAR ORDERINGS (Q3086252) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- Automata-based Representations for Infinite Graphs (Q4331049) (← links)
- (Q5013878) (← links)
- Graph Transformations (Q5292609) (← links)
- Developments in Language Theory (Q5473681) (← links)
- Resynchronized uniformization and definability problems for rational relations (Q6599794) (← links)
