A layered approach to extracting programs from proofs with an application in graph theory

John S Jeavons, Bolis Basit, Iman Hafiz Poernomo, John N Crossley

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Original languageEnglish
Title of host publicationProceedings of the 7th & 8th Asian Logic Conferences
EditorsRod Downey
Place of PublicationSINGAPORE
PublisherWorld Scientific Publishing
Pages193 - 221
Number of pages29
ISBN (Print)981-238-261-5
Publication statusPublished - 2003
Event8th Asian Logic Conference - Chongqing CHINA, Chongqing, China
Duration: 29 Aug 20022 Sep 2002
Conference number: 8

Conference

Conference8th Asian Logic Conference
CountryChina
CityChongqing
Period29/08/022/09/02
Other 7th and 8th Asian Logic Conferences were published in one proceedings

Cite this