Discover open access scientific publications

Search, annotate, share and cite publications

Publications by O. Serre

Collapsible Pushdown Automata and Recursion Schemes

Proceedings - Symposium on Logic in Computer Science

English