Search Sciweavers | Sciweavers

3228 search results - page 91 / 646

» Computationally Sound Proofs

click to vote

TAMC
2010
Springer

241views Applied Computing» more TAMC 2010»

Proof Complexity of Non-classical Logics

14 years 15 days ago

Download www.informatik.uni-bremen.de

Olaf Beyersdorff

claim paper

Read More »

click to vote

GI
1995
Springer

95views Theoretical Computer Science» more GI 1995»

Probabilistically Checkable Proofs and Applications

14 years 14 days ago

Download cseweb.ucsd.edu

Shafi Goldwasser

claim paper

Read More »

click to vote

ISTCS
1995
Springer

73views Applied Computing» more ISTCS 1995»

On the Role of Shared Randomness in Two Prover Proof Systems

14 years 13 days ago

Download cseweb.ucsd.edu

Mihir Bellare, Uriel Feige, Joe Kilian

claim paper

Read More »

click to vote

BIRTHDAY
2008
Springer

74views Applied Computing» more BIRTHDAY 2008»

Proof Search Tree and Cut Elimination

13 years 11 months ago

Download www.logic.at

Grigori Mints

claim paper

Read More »

click to vote

CG
2000
Springer

136views Computer Graphics» more CG 2000»

Abstract Proof Search

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers