Search Sciweavers | Sciweavers

700 search results - page 29 / 140

» On Termination of Constraint Logic Programs

173

click to vote

LOPSTR
2009
Springer

249views Automated Reasoning» more LOPSTR 2009»

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

16 years 10 days 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 »

120

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 11 months ago

Download www.brown.edu

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

claim paper

Read More »

145

click to vote

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

15 years 11 months ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez

claim paper

Read More »

133

click to vote

AADEBUG
2000
Springer

85views Software Engineering» more AADEBUG 2000»

Slicing of Constraint Logic Programs

15 years 10 months ago

Download www.ep.liu.se

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

claim paper

Read More »

189

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers