Ordering by Divisibility in Abstract Algebras

Cited in

(only showing first 100 items - show all)

On canonical antichains
A new class of unique product monoids with applications to ring theory.
Algorithmic graph minor theory: Improved grid minor bounds and Wagner's contraction
On Fraïssé's conjecture for linear orders of finite Hausdorff rank
On the computational power of BlenX
An application of the matrix representation of transductions
Graphs without \(K_ 4\) and well-quasi-ordering
Partitionseigenschaft von endlichen Folgen
A regularity test for dual bordered OS systems
Une généralisation des théorèmes de Higman et de Simon aux mots infinis
On better quasi-ordering countable trees
[[:Publication:1064394|Varieties of Lie algebras with the identity \([[x_ 1,x_ 2,x_ 3],[x_ 4,x_ 5,x_ 6]]=0\) over a field of characteristic zero]]
Dimension de Krull des ensembles ordonnés. (Krull dimension of ordered sets)
Another generalization of Higman's well quasi order result on ^*
Specht varieties of soluble alternative algebras
Noncommutative invariants of reductive groups
Quasi finitely axiomatizable totally categorical theories
Equality problem for center-by-metabelian Lie algebras
On total regulators generated by derivation relations
Termination of rewriting
On well-quasi-ordering-finite graphs by immersion
A geometrical approach to multiset orderings
On well-quasi-ordering finite sequences
Rational Hilbert series of relatively free Jordan algebras
Using unavoidable set of trees to generalize Kruskal's theorem
Fields of generalized power series
Shuffle on trajectories: Syntactic constraints
Inventories of unavoidable languages and the word-extension conjecture
Context-free like restrictions on selective rewriting
On the existence of closed terms in the typed lambda calculus II: Transformations of unification problems
Combinatorial theorems on contractive mappings in power sets
Basic formulas and languages. I: The theory
Basic formulas and languages. II: Applications to EOL systems and forms
On two classes of hereditarily finitely based semigroup identities
Better quasi-orders for uncountable cardinals
Reduction and covering of infinite reachability trees
Varieties of modular \(p\)-algebras not containing \(M_{3,3}\)
What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
Rings of generalized power series: Nilpotent elements
Noetherian rings of generalized power series
From wqo to bqo, via Ellentuck's theorem
Lattice-ordered fields as convolution algebras
Obituary: Ernest Corominas
On the regularity of languages on a binary alphabet generated by copying systems
Rationality of division orderings
Well rewrite orderings and well quasi-orderings
Skolem functions and constructive models
Some varieties of Lie algebras
Well-quasi-ordered classes of groups
Finite basis theorem for rings and algebras satisfying a central condition
Partially ordered sets and nonmatrix identities of associative algebras
Well quasi-ordered sets and ideals in free semigroups and algebras
Polynomials satisfied by matrices
On well quasi orders of free monoids
On quasi orders of words and the confluence property
Well-quasi-ordering and the Hausdorff quasi-uniformity
Well quasi-orders and regular languages
Weights for total division orderings on strings
On well quasiordering of finite languages
The wellordering on positive braids
Semisimple rings and von Neumann regular rings of generalized power series
Simple termination of rewrite systems
Higher Lawrence configurations.
A characterisation of multiply recursive functions with Higman's lemma.
Loop checking in SLD-derivations by well-quasi-ordering of goals
Injective envelope of graphs and transition systems
Word problems of groups: formal languages, characterizations and decidability
The FEP for some varieties of fully distributive knotted residuated lattices
Noetherianity and Specht problem for varieties of bicommutative algebras
Well-quasi-ordering versus clique-width
Specht property for some varieties of Jordan algebras of almost polynomial growth
A counterexample regarding labelled well-quasi-ordering
Well quasi orders in subclasses of bounded treewidth graphs and their algorithmic applications
Construction of fuzzy automata from fuzzy regular expressions
A well-structured framework for analysing Petri net extensions
On operations and linear extensions of well partially ordered sets
All normal extensions of S5-squared are finitely axiomatizable
Parameterized verification of monotone information systems
Do subspaces have distinguished bases?
Fifo nets without order deadlock
E-convex infix codes
Finite basis property of varieties with binomial identity
On power varieties of semigroups
Exchange property and the natural preorder between simple modules over semi-Artinian rings
Minimal antichains in well-founded quasi-orders with an application to tournaments
On the stabilization problem for submodules of Specht modules
Verifying lossy channel systems has nonprimitive recursive complexity.
Model checking of systems with many identical timed processes
Algorithmic analysis of programs with well quasi-ordered domains.
A solution to the problem of (\(A\),\(B\))-invariance for series
On the expressive power of movement and restriction in pure mobile ambients
On the least exponential growth admitting uncountably many closed permutation classes
A linear time algorithm for monadic querying of indefinite data over linearly ordered domains
Ordered colourings
Braid group actions on left distributive structures, and well orderings in the braid groups
Internal characterizations of lattice-ordered power series fields
On termination and invariance for faulty channel machines
Some relational structures with polynomial growth and their associated algebras. I: Quasi-polynomiality of the profile
The computational power of population protocols
Expressivity of imperfect information logics without identity

This page was built for publication: Ordering by Divisibility in Abstract Algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5812263)