Search - Descriptional Complexity of Formal Systems Access content directly

Filter your results

2 results
Keywords : Finite automaton
Image document

State Complexity of Single-Word Pattern Matching in Regular Languages

Janusz A. Brzozowski , Sylvie Davies , Abhishek Madan
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.86-97, ⟨10.1007/978-3-030-23247-4_6⟩
Conference papers hal-02387297v1
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