Zeitschrift: Journal of Computer and System Sciences

2017

Czerwinski, Wojciech ; David, Claire ; Losemann, Katja ; Martens, Wim:
Deciding definability by deterministic regular expressions.
In: Journal of Computer and System Sciences. Bd. 88 (2017) . - S. 75-89.
ISSN 0022-0000
DOI: https://doi.org/10.1016/j.jcss.2017.03.011

2012

Björklund, Henrik ; Martens, Wim:
The tractability frontier for NFA minimization.
In: Journal of Computer and System Sciences. Bd. 78 (2012) Heft 1 . - S. 198-210.
ISSN 0022-0000
DOI: https://doi.org/10.1016/j.jcss.2011.03.001