Algebras for Classifying Regular Tree Languages and an Application to Frontier Testability.

Thomas Wilke

Browse the full ICALP paper archive.