Linear Recursive Functions

Alves, Sandra and Fernández, Maribel and Florido, Mário and Mackie, Ian (2007) Linear Recursive Functions. In: Rewriting, Computation and Proof. Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday..

Full text not available from this repository.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	UNSPECIFIED
ID Code:	110
Deposited By:	Dr Maribel Fernandez
Deposited On:	01 Nov 2007 18:44
Last Modified:	01 Nov 2007 18:44

Repository Staff Only: item control page

Accessibility | Terms and Conditions | Last Modified 01 November 2007