arXiv++ Combinatorics

Browse math.CO papers from arXiv

A poset classifying non-commutative term orders

Published: 2002-01-10
Journal: Discrete Mathematics and Theoretical Computer Science (AA) 2001, pp 301-314

Abstract

We study a certain poset on the free monoid on a countable alphabet. This poset is determined by the fact that its total extensions are precisely the standard term orders. 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.

BibTeX

Loading...