Search - Descriptional Complexity of Formal Systems Access content directly

Filter your results

1 Array
Image document

Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity

Yo-Sub Han , Sang-Ki Ko , Kai Salomaa
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.158-170, ⟨10.1007/978-3-030-23247-4_12⟩
Conference papers hal-02387306v1