Search - IFIP Open Digital Library Access content directly

Filter your results

5 results
Structure: Internal structure identifier : 545751
Page :
sorted by
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
Image document

Using FLOSS for Storing, Processing and Linking Corpus Data

 Damir Mukhamedshin , Olga Nevzorova , Alexander Kirillovich
16th IFIP International Conference on Open Source Systems (OSS), May 2020, Innopolis, Russia. pp.177-182, ⟨10.1007/978-3-030-47240-5_17⟩
Conference papers hal-03647263v1
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

Management Projects for Digital Ecosystems of Automotive Enterprises: Truck Sharing

 Natalia Bakhtadze , Denis Elpashev , Alexandre Suleykin , Rustem Sabitov , Gulnara Smirnova , et al.
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.563-571, ⟨10.1007/978-3-030-85874-2_60⟩
Conference papers hal-04030395v1
Page :