Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Deposit type : Fulltext
hal_authIdPerson_i : 1011781
Page :
sorted by
Image document

Descriptional Complexity of Formal Systems

 Michal Hospodár , Galina Jirásková , Stavros Konstantinidis
Springer International Publishing, LNCS-11612, 2019, Lecture Notes in Computer Science, 978-3-030-23246-7. ⟨10.1007/978-3-030-23247-4⟩
Books hal-02387282v1
Image document

NFA-to-DFA Trade-Off for Regular Operations

 Galina Jirásková , Ivana Krajňáková
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.184-196, ⟨10.1007/978-3-030-23247-4_14⟩
Conference papers hal-02387289v1
Page :