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

J. B. Wells, Boris Yakobowski. Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis. In Sandro Etalle, editor, Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers. Volume 3573 of Lecture Notes in Computer Science, pages 262-277, Springer, 2004. [doi]

Authors

J. B. Wells

This author has not been identified. Look up 'J. B. Wells' in Google

Boris Yakobowski

This author has not been identified. Look up 'Boris Yakobowski' in Google