Search Sciweavers | Sciweavers

2911 search results - page 47 / 583

» A Logic of Graph Constraints

click to vote

WCFLP
2005
ACM

239views Artificial Intelligence» more WCFLP 2005»

Constraint logic programming over sets of spatial objects

14 years 3 months ago

Download indalog.ual.es

Jesús Manuel Almendros-Jiménez

claim paper

Read More »

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

14 years 3 months ago

Download pauillac.inria.fr

François Fages

claim paper

Read More »

click to vote

ISVLSI
2002
IEEE

84views VLSI» more ISVLSI 2002»

Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation

14 years 2 months ago

Download eis.eit.uni-kl.de

Markus Wedler, Dominik Stoffel, Wolfgang Kunz

claim paper

Read More »

click to vote

AADEBUG
2000
Springer

85views Software Engineering» more AADEBUG 2000»

Slicing of Constraint Logic Programs

14 years 2 months ago

Download www.ep.liu.se

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

claim paper

Read More »

click to vote

AGP
2010
IEEE

284views Artificial Intelligence» more AGP 2010»

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

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers