Search Sciweavers | Sciweavers

12774 search results - page 57 / 2555

» A Framework for Proof Systems

Voted

COCO
1992
Springer

92views Algorithms» more COCO 1992»

15 years 8 months ago

Anne Condon, Richard E. Ladner

claim paper

Read More »

click to vote

ISAAC
1994
Springer

83views Algorithms» more ISAAC 1994»

15 years 8 months ago

Vikraman Arvind, Johannes Köbler, Rainer Schu...

claim paper

Read More »

click to vote

TLCA
1993
Springer

113views Theoretical Computer Science» more TLCA 1993»

15 years 8 months ago

Thorsten Altenkirch

claim paper

Read More »

Voted

SP
2010
IEEE

164views Security Privacy» more SP 2010»

15 years 7 months ago

Deepak Garg, Frank Pfenning

claim paper

Read More »

114

Voted

BIRTHDAY
2006
Springer

103views Applied Computing» more BIRTHDAY 2006»

15 years 7 months ago

Sciweavers