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
URI:	http://sro.sussex.ac.uk/id/eprint/15296

📧 Request an update