Journal article

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


Awarded by Australian Research Council

Funding Acknowledgements

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.