First-order separation over countable ordinals - Archive ouverte HAL Access content directly
Conference Papers Year : 2022

Dates and versions

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

Identifiers

Cite

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⟩
19 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More