The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering
classification
💻 cs.LO
cs.FL
keywords
wqosalgorithmssubsetsapproachbuiltclosedcombiningcomplex
read the original abstract
Elegant and general algorithms for handling upwards-closed and downwards-closed subsets of WQOs can be developed using the filter-based and ideal-based representation for these sets. These algorithms can be built in a generic or parameterized way, in parallel with the way complex WQOs are obtained by combining or modifying simpler WQOs.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.