Search Sciweavers | Sciweavers

6274 search results - page 29 / 1255

» Proofs, Programs, Processes

STACS
2010
Springer

145views Theoretical Computer Science» more STACS 2010»

15 years 10 months ago

Ryan Williams

claim paper

Read More »

106

VSTTE
2005
Springer

128views Software Engineering» more VSTTE 2005»

15 years 8 months ago

Aaron Stump

claim paper

Read More »

click to vote

ECAI
2004
Springer

77views Artificial Intelligence» more ECAI 2004»

15 years 8 months ago

Carlos Viegas Damásio, Jesús Medina,...

claim paper

Read More »

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

15 years 7 months ago

John N. Crossley, Iman Poernomo, Martin Wirsing

claim paper

Read More »

click to vote

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

15 years 7 months ago

Sciweavers