Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

3 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
Image document

Error-Free Affine, Unitary, and Probabilistic OBDDs

Rishat Ibrahimov , Kamil Khadiev , Krišjānis Prūsis , Abuzer Yakaryilmaz
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.175-187, ⟨10.1007/978-3-319-94631-3_15⟩
Conference papers hal-01905639v1