A layered approach to extracting programs from proofs with an application in Graph Theory

Jeavons, John S. and Poernomo, Iman and Basit, Bolis and Crossley, John (2003) A layered approach to extracting programs from proofs with an application in Graph Theory. In: Proceedings of the 7th and 8th Asian Logic Conferences.

Full text not available from this repository.

Item Type:	Conference or Workshop Item (Paper)
Subjects:	UNSPECIFIED
ID Code:	244
Deposited By:	Dr Iman Poernomo
Deposited On:	08 Nov 2007 17:13
Last Modified:	08 Nov 2007 17:13

Repository Staff Only: item control page

Accessibility | Terms and Conditions | Last Modified 01 November 2007