Search Sciweavers | Sciweavers

1204 search results - page 20 / 241

» Termination of Polynomial Programs

136

click to vote

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

15 years 10 months ago

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

115

Voted

AGP
1996
IEEE

84views Artificial Intelligence» more AGP 1996»

On Termination of Constraint Logic Programs

15 years 10 months ago

Download www.w3.org

Salvatore Ruggieri

claim paper

Read More »

113

click to vote

LOPSTR
1997
Springer

76views Automated Reasoning» more LOPSTR 1997»

Preserving Termination of Tabled Logic Programs While Unfolding

15 years 10 months ago

Download repository.readscheme.org

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

claim paper

Read More »

click to vote

CONCUR
1990
Springer

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

Proving Termination of Communicating Programs

15 years 9 months ago

Download basics.sjtu.edu.cn

Pawel Paczkowski

claim paper

Read More »

115

click to vote

CORR
2008
Springer

92views Education» more CORR 2008»

Automated Termination Proofs for Logic Programs by Term Rewriting

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers