A Layered Approach to Extracting Programs from Proofs with an Application in Graph Theory

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

Research output: Book/ReportBookOther

Original languageEnglish
Place of PublicationClayton Vic Australia
PublisherMonash University
Number of pages17
Publication statusPublished - 2000

Cite this

Jeavons, J. S., Poernomo, I., Basit, B., & Crossley, J. N. (2000). A Layered Approach to Extracting Programs from Proofs with an Application in Graph Theory. Clayton Vic Australia: Monash University.
Jeavons, John S ; Poernomo, Iman ; Basit, Bolis ; Crossley, John N. / A Layered Approach to Extracting Programs from Proofs with an Application in Graph Theory. Clayton Vic Australia : Monash University, 2000. 17 p.
@book{e8f685bd956e4064b0d570afba5f65af,
title = "A Layered Approach to Extracting Programs from Proofs with an Application in Graph Theory",
author = "Jeavons, {John S} and Iman Poernomo and Bolis Basit and Crossley, {John N}",
year = "2000",
language = "English",
publisher = "Monash University",

}

Jeavons, JS, Poernomo, I, Basit, B & Crossley, JN 2000, A Layered Approach to Extracting Programs from Proofs with an Application in Graph Theory. Monash University, Clayton Vic Australia.

A Layered Approach to Extracting Programs from Proofs with an Application in Graph Theory. / Jeavons, John S; Poernomo, Iman; Basit, Bolis; Crossley, John N.

Clayton Vic Australia : Monash University, 2000. 17 p.

Research output: Book/ReportBookOther

TY - BOOK

T1 - A Layered Approach to Extracting Programs from Proofs with an Application in Graph Theory

AU - Jeavons, John S

AU - Poernomo, Iman

AU - Basit, Bolis

AU - Crossley, John N

PY - 2000

Y1 - 2000

M3 - Book

BT - A Layered Approach to Extracting Programs from Proofs with an Application in Graph Theory

PB - Monash University

CY - Clayton Vic Australia

ER -

Jeavons JS, Poernomo I, Basit B, Crossley JN. A Layered Approach to Extracting Programs from Proofs with an Application in Graph Theory. Clayton Vic Australia: Monash University, 2000. 17 p.