Turbo ASMs for functional equations and recursion schemes (2002)

by T Bolognesi, E Börger
Venue:CNR, Istituto IEI—Dipartimento di Informatica, Università di