Collaborated with:
L.Holík A.W.Lin P.Rümmer T.Vojnar
Talks about:
constraint (1) transduc (1) concaten (1) string (1) effici (1) solv (1)
Person: Petr Janku
DBLP: Janku:Petr
Contributed to:
Wrote 1 papers:
- POPL-2018-HolikJLRV #constraints #string #transducer
- String constraints with concatenation and transducers solved efficiently (LH, PJ, AWL, PR, TV), p. 32.