Search Sciweavers | Sciweavers

12774 search results - page 57 / 2555

» A Framework for Proof Systems

click to vote

COCO
1992
Springer

92views Algorithms» more COCO 1992»

Interactive Proof Systems with Polynomially Bounded Strategies

14 years 28 days ago

Download www.cs.ubc.ca

Anne Condon, Richard E. Ladner

claim paper

Read More »

click to vote

ISAAC
1994
Springer

83views Algorithms» more ISAAC 1994»

On Helping and Interactive Proof Systems

14 years 28 days ago

Download www.uni-ulm.de

Vikraman Arvind, Johannes Köbler, Rainer Schu...

claim paper

Read More »

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

A Formalization of the Strong Normalization Proof for System F in LEGO

14 years 28 days ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

click to vote

SP
2010
IEEE

164views Security Privacy» more SP 2010»

A Proof-Carrying File System

14 years 22 days ago

Download www.cs.cmu.edu

Deepak Garg, Frank Pfenning

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

103views Applied Computing» more BIRTHDAY 2006»

Survey of Disjoint NP-pairs and Relations to Propositional Proof Systems

14 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers