The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings - Laboratoire Méthodes Formelles
Chapitre D'ouvrage Année : 2020

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

Jean Goubault-Larrecq
CV
Simon Halfon
  • Fonction : Auteur
Prateek Karandikar
  • Fonction : Auteur
K. Narayan Kumar
  • Fonction : Auteur
Philippe Schnoebelen
Laboratoire Spécification et Vérification

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.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
main.pdf (553.9 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Philippe Schnoebelen  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03083290

Soumis le : mardi 8 juin 2021-20:53:40

Dernière modification le : vendredi 17 mai 2024-16:22:03

Archivage à long terme le : jeudi 9 septembre 2021-20:32:26

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS ENS-CACHAN UNIV-PARIS-SACLAY ANR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
63 Consultations
130 Téléchargements

Altmetric

Partager

More