First-order separation over countable ordinals

Thomas Colcombet; Samuel van Gool; Rémi Morvan

doi:10.1007/978-3-030-99253-8

Communication Dans Un Congrès Année : 2022

First-order separation over countable ordinals

(1) , (1) , (2)

1
2

Thomas Colcombet

Fonction : Auteur
PersonId : 742856
IdHAL : thomas-colcombet
ORCID : 0000-0001-6529-6963

Institut de Recherche en Informatique Fondamentale

Samuel van Gool

Fonction : Auteur
PersonId : 817031
ORCID : 0000-0002-6360-6363
IdRef : 241995086

Institut de Recherche en Informatique Fondamentale

Rémi Morvan

Fonction : Auteur
PersonId : 176364
IdHAL : remimorvan

Laboratoire Bordelais de Recherche en Informatique

Domaines

Informatique [cs]

Sam van Gool : Connectez-vous pour contacter le contributeur

https://cnrs.hal.science/hal-03815121

Soumis le : vendredi 14 octobre 2022-13:55:22

Dernière modification le : vendredi 24 mars 2023-14:53:28

Dates et versions

hal-03815121 , version 1 (14-10-2022)

Identifiants

HAL Id : hal-03815121 , version 1
DOI : 10.1007/978-3-030-99253-8

Citer

Thomas Colcombet, Samuel van Gool, Rémi Morvan. First-order separation over countable ordinals. Fossacs 2022, Apr 2022, Munich, Germany. ⟨10.1007/978-3-030-99253-8⟩. ⟨hal-03815121⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UP-SCIENCES ANR IRIF

31 Consultations

0 Téléchargements

First-order separation over countable ordinals

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager