Deciding Piecewise Testable Separability for Regular Tree Languages.

Jean Goubault-Larrecq, Sylvain Schmitz

Browse the full ICALP paper archive.