Axiomatizing the Equational Theory of Regular Tree Languages (Extended Anstract).

Zoltn sik

Browse the full STACS paper archive.