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

J. B. Wells, Boris Yakobowski

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

11 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Graph-based proof counting and enumeration with applications for program fragment synthesis'. Together they form a unique fingerprint.

INIS

Computer Science