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

Jean Goubault-Larrecq, Simon Halfon, Prateek Karandikar +2

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 set…