The following pages link to (Q5641083):
Displaying 50 items.
- An extension of the wreath product principle for finite Mazurkiewicz traces (Q293379) (← links)
- A logical approach to locality in pictures languages (Q295631) (← links)
- Efficient algorithms for membership in Boolean hierarchies of regular languages (Q306282) (← links)
- Schützenberger and Eilenberg theorems for words on linear orderings (Q414913) (← links)
- Language theoretical properties of hairpin formations (Q418760) (← links)
- Aural pattern recognition experiments and the subregular hierarchy (Q438585) (← links)
- Testable and untestable classes of first-order formulae (Q440006) (← links)
- Nondeterministic state complexity of star-free languages (Q442152) (← links)
- Syntactic complexity of prefix-, suffix-, bifix-, and factor-free regular languages (Q443735) (← links)
- Walking on data words (Q504989) (← links)
- Dynamical systems in categories (Q513904) (← links)
- Morphic characterizations of languages in Chomsky hierarchy with insertion and locality (Q553307) (← links)
- Descriptional and computational complexity of finite automata -- a survey (Q553312) (← links)
- Regularity of sets of initial strings of periodic D0L-systems (Q580989) (← links)
- Automata and logics over finitely varying functions (Q636272) (← links)
- The expressivity of autosegmental grammars (Q667923) (← links)
- Monadic partition logics and finite automata (Q671644) (← links)
- On the acceptance power of regular languages (Q672323) (← links)
- A note on the commutative closure of star-free languages (Q672729) (← links)
- Standard automata and semidirect products of transformation semigroups (Q685446) (← links)
- Equations and dot-depth one (Q688972) (← links)
- Reducing the time complexity of testing for local threshold testability (Q703505) (← links)
- Ehrenfeucht-Fraïssé goes automatic for real addition (Q710741) (← links)
- Star-free languages are Church-Rosser congruential (Q714818) (← links)
- Learning in the limit with lattice-structured hypothesis spaces (Q714848) (← links)
- Local testability from words to traces, a suitable definition (Q728279) (← links)
- Synchronization and simplification (Q755320) (← links)
- Weighted automata and multi-valued logics over arbitrary bounded lattices (Q764336) (← links)
- On relation between linear temporal logic and quantum finite automata (Q783667) (← links)
- Long-term memory modules (Q793658) (← links)
- On the expressive power of temporal logic for infinite words (Q805240) (← links)
- Reducing local alphabet size in recognizable picture languages (Q832926) (← links)
- State complexity of projection on languages recognized by permutation automata and commuting letters (Q832938) (← links)
- Synchronizing automata preserving a chain of partial orders (Q840772) (← links)
- Constants and label-equivalence: a decision procedure for reflexive regular splicing languages (Q847663) (← links)
- Pure future local temporal logics are expressively complete for Mazurkiewicz traces (Q859824) (← links)
- Languages polylog-time reducible to dot-depth 1/2 (Q859980) (← links)
- Expressiveness and complexity of graph logic (Q870359) (← links)
- A uniform method for proving lower bounds on the computational complexity of logical theories (Q917543) (← links)
- On aperiodic and star-free formal power series in partially commuting variables (Q927397) (← links)
- Fine hierarchies and m-reducibilities in theoretical computer science (Q949621) (← links)
- Logic and rational languages of words indexed by linear orderings (Q987379) (← links)
- Classifying regular languages by a split game (Q1022599) (← links)
- Representation theorems on regular languages (Q1052828) (← links)
- Star-free sets of integers (Q1079381) (← links)
- Unbounded fan-in circuits and associative functions (Q1083202) (← links)
- First-order logic and star-free sets (Q1088982) (← links)
- Language complexity on the synchronous anonymous ring (Q1102125) (← links)
- Semigroups and languages of dot-depth two (Q1109125) (← links)
- Formal language theory and DNA: An analysis of the generative capacity of specific recombinant behaviors (Q1109707) (← links)
