2000 character limit reached
The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering (1904.10703v1)
Published 24 Apr 2019 in cs.LO and cs.FL
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.