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

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