Ostatní výsledky
-
2020
String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report), zpráva odborná, 2020
Autoři: HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P. -
2017
Lazy Automata Techniques for WS1S, zpráva odborná, 2017
Autoři: FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.