Back to Results
First PageMeta Content
Symbol / Admissible rule / Proof theory / First-order logic / Entailment / Constructible universe / Curry–Howard correspondence / Orbifold / Logic / Mathematical logic / Deduction


Automated Deduction in the B Set Theory using Deduction Modulo? Guillaume Bury1 , David Delahaye1 , Damien Doligez2 , Pierre Halmagrand1 , and Olivier Hermant3 1
Add to Reading List

Document Date: 2015-03-03 08:27:10

Open Document

File Size: 674,63 KB

Share Result on Facebook

City

Fontainebleau / Paris / /

Country

France / /

Currency

pence / /

/

IndustryTerm

simplex algorithm / proof search rule / proof search rules / typed proof search / proof search methods / software proofs / proof search algorithm / elaborate type systems / industrial applications / search space / proof search / search methods / proof search space / /

Organization

U.S. Securities and Exchange Commission / French National Research Agency / /

Position

Rt / ¬Rt / /

Product

Cedric / /

ProgrammingLanguage

ML / /

Technology

rewriting algorithm / proof search algorithm / simplex algorithm / /

SocialTag