Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis

Logic Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/11506676_17 ◽

2005 ◽

pp. 262-277 ◽

Author(s):

J. B. Wells ◽

Boris Yakobowski

Download Full-text