Search - Descriptional Complexity of Formal Systems Access content directly

Filter your results

3 results
Keywords : Decidability
Image document

Descriptional Complexity of Iterated Uniform Finite-State Transducers

Martin Kutrib , Andreas Malcher , Carlo Mereghetti , Beatrice Palano
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.223-234, ⟨10.1007/978-3-030-23247-4_17⟩
Conference papers hal-02387284v1
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

On the Decidability of Finding a Positive ILP-Instance in a Regular Set of ILP-Instances

Petra Wolf
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.272-284, ⟨10.1007/978-3-030-23247-4_21⟩
Conference papers hal-02387299v1