Pages that link to "Item:Q2554710"

The following pages link to The theory of well-quasi-ordering: a frequently discovered concept (Q2554710):

Displayed 50 items.

• 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)
• Computable linearizations of well-partial-orderings (Q2385530) ‎ (← links)
• The size of Higman-Haines sets (Q2465049) ‎ (← links)