Pages that link to "Item:Q4285342"
From MaRDI portal
The following pages link to AN ALGEBRAIC THEORY FOR REGULAR LANGUAGES OF FINITE AND INFINITE WORDS (Q4285342):
Displaying 25 items.
- Regular languages of thin trees (Q290908) (← links)
- Reducing the time complexity of testing for local threshold testability (Q703505) (← links)
- A negative answer to a question of Wilke on varieties of \(\omega\)-languages (Q1350291) (← links)
- On syntactic congruences for \(\omega\)-languages (Q1391139) (← links)
- Wreath product and infinite words (Q1587974) (← links)
- Two equational theories of partial words (Q1643141) (← links)
- Logic, semigroups and automata on words (Q1817074) (← links)
- A Reiterman theorem for pseudovarieties of finite first-order structures (Q1921405) (← links)
- Varieties (Q2074217) (← links)
- Model-theoretic properties of \(\omega\)-automatic structures (Q2254518) (← links)
- On labeled birooted tree languages: algebras, automata and logic (Q2347808) (← links)
- Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets (Q2817372) (← links)
- Algebra for Infinite Forests with an Application to the Temporal Logic EF (Q3184670) (← links)
- Complexity of Topological Properties of Regular ω-Languages (Q3533038) (← links)
- The Wadge-Wagner hierarchy of ω-rational sets (Q4571937) (← links)
- Characterizing classes of regular languages using prefix codes of bounded synchronization delay (Q4588867) (← links)
- Algebraic and graph-theoretic properties of infinite<i>n</i>-posets (Q4680742) (← links)
- Complementation of Branching Automata for Scattered and Countable N-Free Posets (Q4683231) (← links)
- AN ALGEBRAIC APPROACH TO MSO-DEFINABILITY ON COUNTABLE LINEAR ORDERINGS (Q4692085) (← links)
- Axiomatizing omega and omega-op powers of words (Q4825384) (← links)
- Equational Theories of Scattered and Countable Series-Parallel Posets (Q5041243) (← links)
- (Q5232909) (← links)
- (Q5377469) (← links)
- (Q5875345) (← links)
- Long words: The theory of concatenation and \(\omega\)-power (Q5941292) (← links)
