Matches in SemOpenAlex for { <https://semopenalex.org/work/W2910122182> ?p ?o ?g. }
Showing items 1 to 24 of
24
with 100 items per page.
- W2910122182 abstract "Avec des motivations venant du domaine de la Verification, nous definissons une notion de WQO effectifs pour lesquels il est possible de representer les ensembles clos et de calculer les principales operations ensemblistes sur ces representations. Dans une premiere partie, nous montrons que de nombreuses constructions naturelles sur les WQO preservent notre notion d'effectivite, prouvant ainsi que la plupart des WQOs utilises en pratique sont effectifs. Cette partie est basee sur un article non publie dont Jean Goubault-Larrecq, Narayan Kumar, Prateek Karandikar et Philippe Schnoebelen sont co-auteurs.Dans une seconde partie, nous etudions les consequences qu'a notre notion sur la logique du premiere ordre interprete sur un WQO. Bien que le fragment existentiel positif soit decidable pour tous les WQOs effectif, les perspectives de generalisation sont limitees par le resultat suivant: le fragment existentiel de la logique du premiere ordre sur les mots finis, ordonnes par plongement, est deja indecidable. Ce resultat a ete publie a LICS 2017 avec Philippe Schnoebelen et Georg Zetzsche." @default.
- W2910122182 created "2019-01-25" @default.
- W2910122182 creator A5048967783 @default.
- W2910122182 date "2018-06-29" @default.
- W2910122182 modified "2023-09-24" @default.
- W2910122182 title "On Effective Representations of Well Quasi-Orderings" @default.
- W2910122182 hasPublicationYear "2018" @default.
- W2910122182 type Work @default.
- W2910122182 sameAs 2910122182 @default.
- W2910122182 citedByCount "1" @default.
- W2910122182 countsByYear W29101221822021 @default.
- W2910122182 crossrefType "dissertation" @default.
- W2910122182 hasAuthorship W2910122182A5048967783 @default.
- W2910122182 hasConcept C138885662 @default.
- W2910122182 hasConcept C15708023 @default.
- W2910122182 hasConceptScore W2910122182C138885662 @default.
- W2910122182 hasConceptScore W2910122182C15708023 @default.
- W2910122182 hasLocation W29101221821 @default.
- W2910122182 hasOpenAccess W2910122182 @default.
- W2910122182 hasPrimaryLocation W29101221821 @default.
- W2910122182 isParatext "false" @default.
- W2910122182 isRetracted "false" @default.
- W2910122182 magId "2910122182" @default.
- W2910122182 workType "dissertation" @default.