The Ideal Approach to Computing Closed Subsets in Well-Quasi-Ordering

04/24/2019
by   Jean Goubault-Larrecq, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset