Search Sciweavers | Sciweavers

3228 search results - page 99 / 646

» Computationally Sound Proofs

IPPS
1999
IEEE

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

15 years 7 months ago

Isabelle Attali, Denis Caromel, Sylvain Lippi

claim paper

Read More »

105

RTA
1999
Springer

101views Theoretical Computer Science» more RTA 1999»

15 years 7 months ago

Roberto Di Cosmo, Stefano Guerrini

claim paper

Read More »

click to vote

CONCUR
1994
Springer

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

15 years 7 months ago

Qiwen Xu, Antonio Cau, Pierre Collette

claim paper

Read More »

click to vote

TLCA
1993
Springer

109views Theoretical Computer Science» more TLCA 1993»

15 years 7 months ago

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

claim paper

Read More »

click to vote

FOCS
1990
IEEE

66views Theoretical Computer Science» more FOCS 1990»

15 years 7 months ago

Sciweavers