Search Sciweavers | Sciweavers

4850 search results - page 119 / 970

» Proof and Computation in Geometry

143

click to vote

TLCA
1993
Springer

109views Theoretical Computer Science» more TLCA 1993»

Modified Realizability Toposes and Strong Normalization Proofs

15 years 10 months ago

Download www.dpmms.cam.ac.uk

J. M. E. Hyland, C.-H. Luke Ong

claim paper

Read More »

103

click to vote

FOCS
1990
IEEE

66views Theoretical Computer Science» more FOCS 1990»

Randomness in Interactive Proofs

15 years 10 months ago

Download cseweb.ucsd.edu

Mihir Bellare, Oded Goldreich, Shafi Goldwasser

claim paper

Read More »

142

click to vote

BIRTHDAY
2006
Springer

103views Applied Computing» more BIRTHDAY 2006»

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

15 years 10 months ago

Download www.cse.buffalo.edu

Christian Glaßer, Alan L. Selman, Liyu Zhang

claim paper

Read More »

150

click to vote

SPAA
1995
ACM

136views Distributed And Parallel Com...» more SPAA 1995»

A Universal Proof Technique for Deadlock-Free Routing in Interconnection Networks

15 years 10 months ago

Download www.cs.wayne.edu

Loren Schwiebert, D. N. Jayasimha

claim paper

Read More »

179

click to vote

CTRS
1994

156views Theoretical Computer Science» more CTRS 1994»

Abstract Notions and Inference Systems for Proofs by Mathematical Induction

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers