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

Joseph Brian Wells; B. Yakobowski

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	In Logic Based Program Synthesis & Transformation, 14th Int'l Symp., LOPSTR 2004, August 2004, Revised Selected Papers, Verona, Italy. LNCS, Springer-Verlag.
Publication status	Published - 2005
Event	14th International Symposium on Logic Based Program Synthesis and Transformation - Verona, Italy Duration: 26 Aug 2004 → 28 Aug 2004

Conference

Conference	14th International Symposium on Logic Based Program Synthesis and Transformation
Abbreviated title	LOPSTR 2004
Country/Territory	Italy
City	Verona
Period	26/08/04 → 28/08/04

Cite this

@inproceedings{b84b20b0eb75490d988b51dd8bdee85f,

title = "Graph-based proof counting and enumeration with applications for program fragment synthesis",

author = "Wells, {Joseph Brian} and B. Yakobowski",

year = "2005",

language = "English",

booktitle = "In Logic Based Program Synthesis & Transformation, 14th Int'l Symp., LOPSTR 2004, August 2004, Revised Selected Papers, Verona, Italy. LNCS, Springer-Verlag.",

note = "14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2004 ; Conference date: 26-08-2004 Through 28-08-2004",

}

Wells, JB & Yakobowski, B 2005, Graph-based proof counting and enumeration with applications for program fragment synthesis. in In Logic Based Program Synthesis & Transformation, 14th Int'l Symp., LOPSTR 2004, August 2004, Revised Selected Papers, Verona, Italy. LNCS, Springer-Verlag.. 14th International Symposium on Logic Based Program Synthesis and Transformation, Verona, Italy, 26/08/04.

Graph-based proof counting and enumeration with applications for program fragment synthesis. / Wells, Joseph Brian; Yakobowski, B.
In Logic Based Program Synthesis & Transformation, 14th Int'l Symp., LOPSTR 2004, August 2004, Revised Selected Papers, Verona, Italy. LNCS, Springer-Verlag.. 2005.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

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

AU - Wells, Joseph Brian

AU - Yakobowski, B.

PY - 2005

Y1 - 2005

M3 - Conference contribution

BT - In Logic Based Program Synthesis & Transformation, 14th Int'l Symp., LOPSTR 2004, August 2004, Revised Selected Papers, Verona, Italy. LNCS, Springer-Verlag.

T2 - 14th International Symposium on Logic Based Program Synthesis and Transformation

Y2 - 26 August 2004 through 28 August 2004

ER -