Other Results
-
2020
String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report), report, 2020
Authors: HOLÍK, L.; JANKŮ, P.; VOJNAR, T.; LIN, A.; RUMMER, P. -
2017
Lazy Automata Techniques for WS1S, report, 2017
Authors: FIEDOR, T.; HOLÍK, L.; JANKŮ, P.; LENGÁL, O.; VOJNAR, T.