Search - Descriptional Complexity of Formal Systems Access content directly

Filter your results

3 results
Image document

Regulated Tree Automata

Henning Fernau , Martin Vu
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.124-136, ⟨10.1007/978-3-030-23247-4_9⟩
Conference papers hal-02387294v1
Image document

Descriptional Complexity of Matrix Simple Semi-conditional Grammars

Henning Fernau , Lakshmanan Kuppusamy , Indhumathi Raman
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.111-123, ⟨10.1007/978-3-030-23247-4_8⟩
Conference papers hal-02387307v1
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