Search Sciweavers | Sciweavers

3481 search results - page 27 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

click to vote

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

14 years 1 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

13 years 12 months ago

Download www.ep.liu.se

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

claim paper

Read More »

click to vote

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

13 years 12 months ago

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

click to vote

DATE
1997
IEEE

58views Hardware» more DATE 1997»

Interface timing verification with delay correlation using constraint logic programming

13 years 11 months ago

Download www.cecs.uci.edu

Pierre Girodias, Eduard Cerny

claim paper

Read More »

click to vote

AGP
1996
IEEE

84views Artificial Intelligence» more AGP 1996»

On Termination of Constraint Logic Programs

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers