Search Sciweavers | Sciweavers

3738 search results - page 209 / 748

» Parametrized Logic Programming

click to vote

SLP
1990

121views more SLP 1990»

Analysis of Constraint Logic Programs

13 years 9 months ago

Download clip.dia.fi.upm.es

eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.

Kim Marriott, Harald Søndergaard

claim paper

Read More »

click to vote

AMW
2009

154views Knowledge Management» more AMW 2009»

From Database Repair Programs to Consistent Query Answering in Classical Logic (extended abstract)

13 years 9 months ago

Download sunsite.informatik.rwth-aachen.de

Leopoldo E. Bertossi

claim paper

Read More »

click to vote

CACM
2010

122views more CACM 2010»

Functional logic programming

13 years 8 months ago

Download www.cs.unb.ca

Sergio Antoy, Michael Hanus

claim paper

Read More »

click to vote

CORR
2010
Springer

106views Education» more CORR 2010»

Controlling program extraction in Elementary Linear Logic

13 years 8 months ago

Download perso.ens-lyon.fr

Marc Lasson

claim paper

Read More »

click to vote

CORR
2010
Springer

58views Education» more CORR 2010»

Transformations of Logic Programs on Infinite Lists

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers