Search Sciweavers | Sciweavers

3228 search results - page 99 / 646

» Computationally Sound Proofs

109

Voted

IPPS
1999
IEEE

115views Distributed And Parallel Com...» more IPPS 1999»

From a Specification to an Equivalence Proof in Object-Oriented Parallelism

15 years 11 months ago

Download ipdps.cc.gatech.edu

Isabelle Attali, Denis Caromel, Sylvain Lippi

claim paper

Read More »

167

click to vote

RTA
1999
Springer

101views Theoretical Computer Science» more RTA 1999»

Strong Normalization of Proof Nets Modulo Structural Congruences

15 years 11 months ago

Download twiki.di.uniroma1.it

Roberto Di Cosmo, Stefano Guerrini

claim paper

Read More »

140

Voted

CONCUR
1994
Springer

69views Distributed And Parallel Com...» more CONCUR 1994»

On Unifying Assumption-Commitment Style Proof Rules for Concurrency

15 years 11 months ago

Download www.cse.dmu.ac.uk

Qiwen Xu, Antonio Cau, Pierre Collette

claim paper

Read More »

158

click to vote

TLCA
1993
Springer

109views Theoretical Computer Science» more TLCA 1993»

Modified Realizability Toposes and Strong Normalization Proofs

15 years 11 months ago

Download www.dpmms.cam.ac.uk

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

claim paper

Read More »

125

Voted

FOCS
1990
IEEE

66views Theoretical Computer Science» more FOCS 1990»

Randomness in Interactive Proofs

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers