Search Sciweavers | Sciweavers

12774 search results - page 58 / 2555

» A Framework for Proof Systems

158

click to vote

STOC
2000
ACM

95views Algorithms» more STOC 2000»

Parallelization, amplification, and exponential time simulation of quantum interactive proof systems

15 years 10 months ago

Download www.cs.uwaterloo.ca

Alexei Kitaev, John Watrous

claim paper

Read More »

118

click to vote

ISTCS
1995
Springer

73views Applied Computing» more ISTCS 1995»

On the Role of Shared Randomness in Two Prover Proof Systems

15 years 10 months ago

Download cseweb.ucsd.edu

Mihir Bellare, Uriel Feige, Joe Kilian

claim paper

Read More »

158

click to vote

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

15 years 10 months ago

Download www.cse.dmu.ac.uk

Bruno Dutertre

claim paper

Read More »

120

click to vote

TACAS
1995
Springer

90views Algorithms» more TACAS 1995»

A Constraint Oriented Proof Methodology Based on Modal Transition Systems

15 years 10 months ago

Download www.brics.dk

Kim Guldstrand Larsen, Bernhard Steffen, Carsten W...

claim paper

Read More »

185

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