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/Report › Book › Other

Cite this

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 -