Search Sciweavers | Sciweavers

1204 search results - page 20 / 241

» Termination of Polynomial Programs

click to vote

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

14 years 3 months ago

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

click to vote

AGP
1996
IEEE

84views Artificial Intelligence» more AGP 1996»

On Termination of Constraint Logic Programs

14 years 3 months ago

Download www.w3.org

Salvatore Ruggieri

claim paper

Read More »

click to vote

LOPSTR
1997
Springer

76views Automated Reasoning» more LOPSTR 1997»

Preserving Termination of Tabled Logic Programs While Unfolding

14 years 3 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

14 years 3 months ago

Download basics.sjtu.edu.cn

Pawel Paczkowski

claim paper

Read More »

click to vote

CORR
2008
Springer

92views Education» more CORR 2008»

Automated Termination Proofs for Logic Programs by Term Rewriting

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers