Linear Recursive Functions

Alves, Sandra, Fernández, Maribel, Florido, Mario and Mackie, Ian (2007) Linear Recursive Functions. In: Comon-Lundh, Hubert, Kirchner, Claude and Kirchner, Hélène (eds.) Rewriting, computation and proof: Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday. Lecture Notes in Computer Science (4600). Springer, Berlin, pp. 182-195. ISBN 9783540731467

Full text not available from this repository.
Item Type: Book Section
Schools and Departments: School of Engineering and Informatics > Informatics
Depositing User: Ian Mackie
Date Deposited: 06 Feb 2012 18:13
Last Modified: 30 Nov 2012 16:59
📧 Request an update