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

Filter your results

4 results
hal_authIdPerson_i : 1024591
hal_authIdPerson_i : 1059495
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

Descriptional Complexity of Formal Systems

 Stavros Konstantinidis , Giovanni Pighizzini
Springer International Publishing, LNCS-10952, 2018, Lecture Notes in Computer Science, 978-3-319-94630-6. ⟨10.1007/978-3-319-94631-3⟩
Books hal-01905624v1
Image document

Square, Power, Positive Closure, and Complementation on Star-Free Languages

 Sylvie Davies , Michal Hospodár
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.98-110, ⟨10.1007/978-3-030-23247-4_7⟩
Conference papers hal-02387295v1
Image document

Applications of Transducers in Independent Languages, Word Distances, Codes

 Stavros Konstantinidis
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.45-62, ⟨10.1007/978-3-319-60252-3_4⟩
Conference papers hal-01657012v1
Page :