50 citations · 111 across the 24 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.FL2013★ 15 cited
On Separation by Locally Testable and Locally Threshold Testable Languages
Thomas Place, Lorijn van Rooijen, Marc Zeitoun
A separator for two languages is a third language containing the first one and disjoint from the second one. We investigate the following decision problem: given two regular input…
cs.FL2013★ 13 cited
Separating regular languages by piecewise testable and unambiguous languages
Thomas Place, Lorijn van Rooijen, Marc Zeitoun
Separation is a classical problem asking whether, given two sets belonging to some class, it is possible to separate them by a set from a smaller class. We discuss the separation p…