The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2020

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

Jean Goubault-Larrecq
Simon Halfon
  • Fonction : Auteur
Prateek Karandikar
  • Fonction : Auteur
K. Narayan Kumar
  • Fonction : Auteur

Résumé

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.
Fichier principal
Vignette du fichier
main.pdf (553.9 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03083290 , version 1 (08-06-2021)

Identifiants

Citer

Jean Goubault-Larrecq, Simon Halfon, Prateek Karandikar, K. Narayan Kumar, Philippe Schnoebelen. The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings. Well Quasi-Orders in Computation, Logic, Language and Reasoning, 53, Springer, pp.55-105, 2020, Trends in Logic, 978-3-030-30228-3. ⟨10.1007/978-3-030-30229-0_3⟩. ⟨hal-03083290⟩
34 Consultations
62 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More