Pages that link to "Item:Q2554710"
From MaRDI portal
The following pages link to The theory of well-quasi-ordering: a frequently discovered concept (Q2554710):
Displayed 50 items.
- Well-quasi-order of relabel functions (Q603891) (← links)
- Definability in the structure of words with the inclusion relation (Q606049) (← links)
- The complexity of querying indefinite data about linearly ordered domains (Q676427) (← links)
- Partial orders on words, minimal elements of regular languages, and state complexity (Q688156) (← links)
- Well quasi-orders and context-free grammars (Q703570) (← links)
- Deciding branching time properties for asynchronous programs (Q732003) (← links)
- On regularity of context-free languages (Q759489) (← links)
- Ordered sets with no chains of ideals of a given type (Q762508) (← links)
- Combinatorial properties of regressive mappings (Q791524) (← links)
- A note on off-line machines with 'Brownian' input heads (Q801900) (← links)
- Learning languages in a union (Q859985) (← links)
- Finite automata and algebraic extensions of functions fields (Q873839) (← links)
- Well quasi-orders generated by a word-shuffle rewriting (Q884464) (← links)
- On well-quasi-ordering finite structures with labels (Q912875) (← links)
- Developments from enquiries into the learnability of the pattern languages from positive data (Q924175) (← links)
- Generalizations of Khovanskiĭ's theorems on the growth of sumsets in abelian semigroups (Q928780) (← links)
- The finite antichain property in Coxeter groups. (Q942014) (← links)
- Fine hierarchies and m-reducibilities in theoretical computer science (Q949621) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- On canonical antichains (Q1011785) (← links)
- A new class of unique product monoids with applications to ring theory. (Q1014250) (← links)
- Definability in the \(h\)-quasiorder of labeled forests (Q1023296) (← links)
- A regularity test for dual bordered OS systems (Q1060851) (← links)
- Une généralisation des théorèmes de Higman et de Simon aux mots infinis (Q1062465) (← links)
- Dimension de Krull des ensembles ordonnés. (Krull dimension of ordered sets) (Q1066924) (← links)
- Another generalization of Higman's well quasi order result on \(\Sigma ^*\) (Q1069312) (← links)
- Some quasi-ordered classes of finite commutative semigroups (Q1071109) (← links)
- On total regulators generated by derivation relations (Q1084874) (← links)
- Termination of rewriting (Q1098624) (← links)
- On well-quasi-ordering-finite graphs by immersion (Q1104345) (← links)
- A notion of branching rank for semilattices with descending chain condition (Q1110547) (← links)
- Using unavoidable set of trees to generalize Kruskal's theorem (Q1122597) (← links)
- Inventories of unavoidable languages and the word-extension conjecture (Q1129010) (← links)
- Basic formulas and languages. I: The theory (Q1166275) (← links)
- Basic formulas and languages. II: Applications to EOL systems and forms (Q1166276) (← links)
- Better quasi-orders for uncountable cardinals (Q1171568) (← links)
- Reduction and covering of infinite reachability trees (Q1173681) (← links)
- From wqo to bqo, via Ellentuck's theorem (Q1201238) (← links)
- Well rewrite orderings and well quasi-orderings (Q1209622) (← links)
- Effective constructions in well-partially-ordered free monoids (Q1249047) (← links)
- A note on language equations involving morphisms (Q1249436) (← links)
- Well quasi-ordered sets and ideals in free semigroups and algebras (Q1256535) (← links)
- On well quasi orders of free monoids (Q1275465) (← links)
- On quasi orders of words and the confluence property (Q1276254) (← links)
- Well-quasi-ordering and the Hausdorff quasi-uniformity (Q1295289) (← links)
- Well quasi-orders and regular languages (Q1338899) (← links)
- Unification in commutative semigroups (Q1383954) (← links)
- On operations and linear extensions of well partially ordered sets (Q1765955) (← links)
- On power varieties of semigroups (Q1822633) (← links)
- Counting pattern-free set partitions. I: A generalization of Stirling numbers of the second kind (Q1972357) (← links)