A complete refinement procedure for regular separability of context-free languages
Graeme Gange, Jorge A Navas, Peter Schachte, Harald Sondergaard, Peter J Stuckey
Theoretical Computer Science | ELSEVIER SCIENCE BV | Published : 2016
Related Projects (2)
Awarded by Australian Research Council
We wish to thank Pierre Ganty for fruitful discussions, and the anonymous reviewers for their detailed and very constructive feedback; the paper has been greatly improved as a result of these interactions. We also wish to thank Georgel Calin for providing the test programs and the implementation of LCEGAR. Finally we acknowledge support of the Australian Research Council through Linkage Project grant LP140100437.