Search Sciweavers | Sciweavers

3738 search results - page 215 / 748

» Parametrized Logic Programming

click to vote

CORR
2000
Springer

63views Education» more CORR 2000»

Verifying Termination and Error-Freedom of Logic Programs with block Declarations

13 years 8 months ago

Download eprints.whiterose.ac.uk

Jan-Georg Smaus, Patricia M. Hill, Andy King

claim paper

Read More »

click to vote

CORR
2000
Springer

63views Education» more CORR 2000»

Termination analysis of logic programs using acceptability with general term orders

13 years 8 months ago

Download www.cs.kuleuven.ac.be

Alexander Serebrenik, Danny De Schreye

claim paper

Read More »

click to vote

ENTCS
2000

82views more ENTCS 2000»

Abstract Interpretation Based Verification of Logic Programs

13 years 8 months ago

Download www.di.unipi.it

Giorgio Levi

claim paper

Read More »

click to vote

CORR
2002
Springer

77views Education» more CORR 2002»

A Dynamic Approach to Characterizing Termination of General Logic Programs

13 years 8 months ago

Download www.cse.ust.hk

Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S....

claim paper

Read More »

click to vote

ETAI
2000

43views more ETAI 2000»

An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers