Search - Descriptional Complexity of Formal Systems Access content directly

Filter your results

2 results
Image document

On Classes of Regular Languages Related to Monotone WQOs

Mizuhito Ogawa , Victor Selivanov
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.235-247, ⟨10.1007/978-3-030-23247-4_18⟩
Conference papers hal-02387304v1
Image document

Computability on quasi-Polish spaces

Mathieu Hoyrup , Cristóbal Rojas , Victor Selivanov , Donald M Stull
DCFS 2019 - 21st International Conference on Descriptional Complexity of Formal Systems, Jul 2019, Kosice, Slovakia. pp.171-183
Conference papers hal-02118947v2