Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis (Q5458807)
From MaRDI portal
scientific article; zbMATH DE number 5267193
Language | Label | Description | Also known as |
---|---|---|---|
English | Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis |
scientific article; zbMATH DE number 5267193 |
Statements
Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis (English)
0 references
24 April 2008
0 references