Search Sciweavers | Sciweavers

700 search results - page 29 / 140

» On Termination of Constraint Logic Programs

click to vote

LOPSTR
2009
Springer

249views Automated Reasoning» more LOPSTR 2009»

Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing

15 years 5 months ago

Download users.dsic.upv.es

In this work, we ﬁrst consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...

José Iborra, Naoki Nishida, Germán V...

claim paper

Read More »

click to vote

SAC
2006
ACM

140views Applied Computing» more SAC 2006»

A constraint logic programming approach to 3D structure determination of large protein complexes

15 years 5 months ago

Download www.brown.edu

Alessandro Dal Palù, Enrico Pontelli, Jing ...

claim paper

Read More »

click to vote

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

15 years 4 months ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez

claim paper

Read More »

click to vote

AADEBUG
2000
Springer

85views Software Engineering» more AADEBUG 2000»

Slicing of Constraint Logic Programs

15 years 3 months ago

Download www.ep.liu.se

Gyöngyi Szilágyi, Tibor Gyimóth...

claim paper

Read More »

103

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers