Search Sciweavers | Sciweavers

2911 search results - page 52 / 583

» A Logic of Graph Constraints

104

click to vote

SLP
1990

121views more SLP 1990»

Analysis of Constraint Logic Programs

15 years 5 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 »

167

click to vote

CORR
2006
Springer

126views Education» more CORR 2006»

Logic programs with monotone abstract constraint atoms

15 years 4 months ago

Download www.cs.uky.edu

Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...

claim paper

Read More »

104

click to vote

ENTCS
2007

106views more ENTCS 2007»

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

15 years 4 months ago

Download www.fdi.ucm.es

Sonia Estévez Martín, Antonio J. Fer...

claim paper

Read More »

124

click to vote

TOCL
2008

86views more TOCL 2008»

Conjunctive query containment and answering under description logic constraints

15 years 4 months ago

Download tocl.acm.org

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

121

click to vote

CI
2005

46views more CI 2005»

XML Declarative Description with First-Order Logical Constraints

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers