Search Sciweavers | Sciweavers

12774 search results - page 55 / 2555

» A Framework for Proof Systems

click to vote

CADE
2003
Springer

110views Logical Reasoning» more CADE 2003»

IsaPlanner: A Prototype Proof Planner in Isabelle

14 years 9 months ago

Download homepages.inf.ed.ac.uk

IsaPlanner is a generic framework for proof planning in the interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used to conjectur...

Lucas Dixon, Jacques D. Fleuriot

claim paper

Read More »

click to vote

SP
2008
IEEE

92views Security Privacy» more SP 2008»

Thinking Inside the Box: System-Level Failures of Tamper Proofing

14 years 3 months ago

Download www.cl.cam.ac.uk

Saar Drimer, Steven J. Murdoch, Ross J. Anderson

claim paper

Read More »

click to vote

FSTTCS
2007
Springer

78views Software Engineering» more FSTTCS 2007»

The Deduction Theorem for Strong Propositional Proof Systems

14 years 3 months ago

Download www.informatik.hu-berlin.de

Olaf Beyersdorff

claim paper

Read More »

click to vote

FUN
2007
Springer

91views Algorithms» more FUN 2007»

Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles

14 years 3 months ago

Download www.mit.edu

Ronen Gradwohl, Moni Naor, Benny Pinkas, Guy N. Ro...

claim paper

Read More »

click to vote

CADE
2005
Springer

102views Logical Reasoning» more CADE 2005»

System Description: Multi A Multi-strategy Proof Planner

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers