Pages that link to "Item:Q5812263"

The following pages link to Ordering by Divisibility in Abstract Algebras (Q5812263):

Displaying 50 items.

• Finiteness of the standard basis of a \(T\)-ideal containing Lie nilpotency of index 4 (Q376148) (← links)
• Boundary properties of well-quasi-ordered sets of graphs (Q382896) (← links)
• The Dyck pattern poset (Q394536) (← links)
• Rao's degree sequence conjecture (Q401494) (← links)
• A decidability result for the dominating set problem (Q410736) (← links)
• Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
• Proof pearl: a formal proof of Higman's lemma in ACL2 (Q438550) (← links)
• On the number of finite algebraic structures (Q466908) (← links)
• Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals (Q479803) (← links)
• Ideals of bounded rank symmetric tensors are generated in bounded degree (Q504135) (← links)
• An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
• Ordinal recursive complexity of unordered data nets (Q529043) (← links)
• Block-graph width (Q534563) (← links)
• Derivation tree analysis for accelerated fixed-point computation (Q549189) (← links)
• From monomials to words to graphs. (Q598451) (← links)
• Well-quasi-order of relabel functions (Q603891) (← links)
• Definability in the structure of words with the inclusion relation (Q606049) (← links)
• A well-quasi-order for tournaments (Q618033) (← links)
• Meta-expansion of transseries (Q629344) (← links)
• On partial well-order for monotone grid classes of permutations (Q634743) (← links)
• The maximal linear extension theorem in second order arithmetic (Q634769) (← links)
• Grid classes and partial well order (Q645965) (← links)
• Canonical antichains of unit interval and bipartite permutation graphs (Q651422) (← links)
• Set systems: order types, continuous nondeterministic deformations, and quasi-orders (Q653312) (← links)
• Finite Gröbner bases in infinite dimensional polynomial rings and applications (Q655333) (← links)
• The subvariety lattice for representable idempotent commutative residuated lattices (Q664314) (← links)
• Stable sets versus independent sets (Q686148) (← links)
• Partial orders on words, minimal elements of regular languages, and state complexity (Q688156) (← links)
• Well quasi-orders and context-free grammars (Q703570) (← links)
• Codes, orderings, and partial words (Q706621) (← links)
• Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
• Well-quasi-ordering versus clique-width: new results on bigenic classes (Q722586) (← links)
• Well-structured graph transformation systems (Q729812) (← links)
• The ascending chain condition for principal left or right ideals of skew generalized power series rings. (Q731900) (← links)
• Linearizing well quasi-orders and bounding the length of bad sequences (Q744984) (← links)
• Images of rigid digraphs (Q751667) (← links)
• Automating the Knuth Bendix ordering (Q751830) (← links)
• On regularity of context-free languages (Q759489) (← links)
• Finite basis theorem for systems of semigroup identities (Q786929) (← links)
• On the Specht property and the basic rank of some products of group varieties (Q787270) (← links)
• Combinatorial properties of regressive mappings (Q791524) (← links)
• Commutative one-counter languages are regular (Q800097) (← links)
• A general finite basis condition for systems of semigroup identities (Q804711) (← links)
• Stream/block ciphers, difference equations and algebraic attacks (Q820950) (← links)
• Minimal forbidden subwords (Q834943) (← links)
• The complexity of finding SUBSEQ\((A)\) (Q839630) (← links)
• Letterplace ideals and non-commutative Gröbner bases. (Q840707) (← links)
• Minimal universal and dense minor closed classes (Q852708) (← links)
• Minimal regular 2-graphs and applications (Q854642) (← links)
• Subword conditions and subword histories (Q859831) (← links)