CADE 2011 - PDF Preprint Papers

CADE 2011 Automated Deduction

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CADE-2011 Paper

click to vote

CADE
2011
Springer

43views Logical Reasoning» more CADE 2011»

Experimenting with Deduction Modulo

5 months 10 days ago

Download www.ensiie.fr

Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...

Guillaume Burel

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status
1	43	Experimenting with Deduction Modulo	claim
2	40	Static Analysis of Android Programs	claim
3	34	Deciding Security for Protocols with Recursive Tests	claim
4	33	ASASP: Automated Symbolic Analysis of Security Policies	claim
5	32	Cutting to the Chase Solving Linear Integer Arithmetic	claim
6	30	Extending Sledgehammer with SMT Solvers	claim
7	26	Compression of Propositional Resolution Proofs via Partial Regularization	claim
8	21	Exploiting Symmetry in SMT Problems	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers