Sciweavers

    12774 search results - page 55 / 2555
    » A Framework for Proof Systems
    Sort
    View
    CADE
    2003
    Springer
    110views Logical Reasoning» more  CADE 2003»
    IsaPlanner: A Prototype Proof Planner in Isabelle
    16 years 3 months ago
    IsaPlanner: A Prototype Proof Planner in Isabelle
    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 »
    SP
    2008
    IEEE
    92views Security Privacy» more  SP 2008»
    Thinking Inside the Box: System-Level Failures of Tamper Proofing
    15 years 10 months ago
    Thinking Inside the Box: System-Level Failures of Tamper Proofing
    Download  www.cl.cam.ac.uk
    Saar Drimer, Steven J. Murdoch, Ross J. Anderson
    claim paper
    Read More »
    87
    Voted
    FSTTCS
    2007
    Springer
    78views Software Engineering» more  FSTTCS 2007»
    The Deduction Theorem for Strong Propositional Proof Systems
    15 years 9 months ago
    The Deduction Theorem for Strong Propositional Proof Systems
    Download  www.informatik.hu-berlin.de
    Olaf Beyersdorff
    claim paper
    Read More »
    FUN
    2007
    Springer
    91views Algorithms» more  FUN 2007»
    Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
    15 years 9 months ago
    Cryptographic and Physical Zero-Knowledge Proof Systems for Solutions of Sudoku Puzzles
    Download  www.mit.edu
    Ronen Gradwohl, Moni Naor, Benny Pinkas, Guy N. Ro...
    claim paper
    Read More »
    115
    Voted
    CADE
    2005
    Springer
    102views Logical Reasoning» more  CADE 2005»
    System Description: Multi A Multi-strategy Proof Planner
    15 years 9 months ago
    System Description: Multi A Multi-strategy Proof Planner
    Download  www.activemath.org
    Andreas Meier, Erica Melis
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.