Search Sciweavers | Sciweavers

1204 search results - page 20 / 241

» Termination of Polynomial Programs

113

Voted

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

15 years 7 months ago

David Monniaux

claim paper

Read More »

click to vote

AGP
1996
IEEE

84views Artificial Intelligence» more AGP 1996»

15 years 7 months ago

Salvatore Ruggieri

claim paper

Read More »

click to vote

LOPSTR
1997
Springer

76views Automated Reasoning» more LOPSTR 1997»

15 years 7 months ago

Michael Leuschel, Bern Martens, Konstantinos F. Sa...

claim paper

Read More »

Voted

CONCUR
1990
Springer

66views Distributed And Parallel Com...» more CONCUR 1990»

15 years 7 months ago

Pawel Paczkowski

claim paper

Read More »

Voted

CORR
2008
Springer

92views Education» more CORR 2008»

15 years 3 months ago

Sciweavers