eng
episciences.org
Discrete Mathematics & Theoretical Computer Science
1365-8050
2001-01-01
DMTCS Proceedings vol. AA,...
Proceedings
10.46298/dmtcs.2286
2286
journal article
A Poset Classifying Non-Commutative Term Orders
Jan Snellman
We study a poset $\Re$ on the free monoid (X*) on a countable alphabet X.This poset is determined by the fact that its total extensions are precisely the standard term orders on X*. We also investigate the poset classifying degree-compatible standard term orders, and the poset classifying sorted term orders. For the latter poset, we give a Galois coconnection with the Young lattice.
https://dmtcs.episciences.org/2286/pdf
term orders
free associative algebra
[INFO] Computer Science [cs]
[INFO.INFO-CG] Computer Science [cs]/Computational Geometry [cs.CG]
[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]
[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO]
[INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]