Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
Screen decoration graphicsLogo

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)
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