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