Recursive Schemes, Algebraic Trees and Deterministic Languages

Bruno Courcelle

Browse the full FOCS paper archive.