Wreath Products of Forest Algebras, with Applications to Tree Logics.

Mikolaj Bojanczyk, Howard Straubing, Igor Walukiewicz

Browse the full LICS paper archive.