2 search results for "tag:"keyword: proof search""

keyword: intuitionistic logic keyword: proof search keyword: proof-as-programs keyword: correct-by-construction keyword: program verification keyword: program extraction category: Mathematics/Logic/Foundations category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category: Miscellaneous/Extracted Programs/Decision procedures

keyword: decision procedure keyword: first-order logic keyword: intuitionistic logic keyword: theorem proving keyword: proof search category: Miscellaneous/Coq Extensions category: Computer Science/Decision Procedures and Certified Algorithms/Decision procedures date: 2002-04 (contribution since January 2009)