Short proof of the factorization forest theorem
Imre Simon 1943-2009
Nivat, M; Podelski, A, Eds Amsterdam : Elsevier Science, 1992 Tree Automata and Languages
Amsterdam Elsevier Science 1992
Localização:
IME - Inst. Matemática e Estatística
(PROD-834805 ) e outros locais(Acessar)