Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory

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

Research output: Book/ReportBookOther

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

Cite this

Jeavons, J. S., Poernomo, I., Crossley, J. N., & Basit, B. (2000). Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory. Clayton Vic Australia: Monash University.
Jeavons, John S ; Poernomo, Iman ; Crossley, John N ; Basit, Bolis. / Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory. Clayton Vic Australia : Monash University, 2000. 15 p.
@book{a3c9d26f59e54eb3a2bd086b95727b36,
title = "Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory",
author = "Jeavons, {John S} and Iman Poernomo and Crossley, {John N} and Bolis Basit",
year = "2000",
language = "English",
publisher = "Monash University",

}

Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory. / Jeavons, John S; Poernomo, Iman; Crossley, John N; Basit, Bolis.

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

Research output: Book/ReportBookOther

TY - BOOK

T1 - Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory

AU - Jeavons, John S

AU - Poernomo, Iman

AU - Crossley, John N

AU - Basit, Bolis

PY - 2000

Y1 - 2000

M3 - Book

BT - Fred: An Implementation of a Layered Approach to Extracting Programs from Proofs. Part I: An Application in Graph Theory

PB - Monash University

CY - Clayton Vic Australia

ER -