Search Sciweavers | Sciweavers

3044 search results - page 64 / 609

» Linear logical approximations

REX
1993

123views Logical Reasoning» more REX 1993»

15 years 7 months ago

Uffe Engberg, Glynn Winskel

claim paper

Read More »

click to vote

TLCA
1993
Springer

85views Theoretical Computer Science» more TLCA 1993»

15 years 7 months ago

P. N. Benton, Gavin M. Bierman, Valeria de Paiva, ...

claim paper

Read More »

click to vote

LICS
1992
IEEE

104views Automated Reasoning» more LICS 1992»

15 years 7 months ago

Max I. Kanovich

claim paper

Read More »

101

FOCS
1990
IEEE

90views Theoretical Computer Science» more FOCS 1990»

15 years 7 months ago

Patrick Lincoln, John C. Mitchell, Andre Scedrov, ...

claim paper

Read More »

click to vote

CSL
2006
Springer

121views Automated Reasoning» more CSL 2006»

15 years 5 months ago

Sciweavers