Graph-based proof counting and enumeration with applications for program fragment synthesis

Joseph Brian Wells, B. Yakobowski

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)
Original languageEnglish
Title of host publicationIn Logic Based Program Synthesis & Transformation, 14th Int'l Symp., LOPSTR 2004, August 2004, Revised Selected Papers, Verona, Italy. LNCS, Springer-Verlag.
Publication statusPublished - 2005
Event14th International Symposium on Logic Based Program Synthesis and Transformation - Verona, Italy
Duration: 26 Aug 200428 Aug 2004

Conference

Conference14th International Symposium on Logic Based Program Synthesis and Transformation
Abbreviated titleLOPSTR 2004
CountryItaly
CityVerona
Period26/08/0428/08/04

Cite this