Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand, Olivier Hermant. Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo. In Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov, editors, 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. Volume 35 of EPiC Series in Computing, pages 42-58, EasyChair, 2015. [doi]

This author has not been identified. Look up 'Guillaume Bury' in GoogleThis author has not been identified. It may be one of the following persons:

David Delahaye

Look up 'David Delahaye' in GoogleThis author has not been identified. Look up 'Damien Doligez' in GoogleThis author has not been identified. Look up 'Pierre Halmagrand' in GoogleThis author has not been identified. Look up 'Olivier Hermant' in Google

runs on WebDSL