Constraints in Computational Logics - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer-Verlag

354058403x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Application of constraint logic programming for VLSI CAD tools

Constraints in Computational Logics - Lecture Notes in Computer Science ◽

10.1007/bfb0016853 ◽

2005 ◽

pp. 183-200 ◽

Author(s):

Renate Beckmann ◽

Ulrich Bieker ◽

Ingolf Markhof

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Cad Tools ◽

Download Full-text

Path consistency in clp(FD)

Constraints in Computational Logics - Lecture Notes in Computer Science ◽

10.1007/bfb0016854 ◽

2005 ◽

pp. 201-216 ◽

Author(s):

Philippe Codognet ◽

Giuseppe Nardiello

Download Full-text

How to win a game with features

Constraints in Computational Logics - Lecture Notes in Computer Science ◽

10.1007/bfb0016863 ◽

2005 ◽

pp. 320-335 ◽

Author(s):

Rolf Backofen ◽

Ralf Treinen

Download Full-text

A foundation for higher-order concurrent constraint programming

Constraints in Computational Logics - Lecture Notes in Computer Science ◽

10.1007/bfb0016844 ◽

2005 ◽

pp. 50-72 ◽

Author(s):

Gert Smolka

Keyword(s):

Constraint Programming ◽

Higher Order ◽

Concurrent Constraint Programming

Download Full-text

ECOLOG: an Environment for constraint logics

Constraints in Computational Logics - Lecture Notes in Computer Science ◽

10.1007/bfb0016857 ◽

2005 ◽

pp. 237-252 ◽

Author(s):

Marianne Haberstrau

Download Full-text

Ordered Binary Decision Diagrams and the Davis-Putnam procedure

Constraints in Computational Logics - Lecture Notes in Computer Science ◽

10.1007/bfb0016843 ◽

2005 ◽

pp. 34-49 ◽

Author(s):

Tomás E. Uribe ◽

Mark E. Stickel

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Ordered Binary Decision Diagrams ◽

Binary Decision

Download Full-text

On modularity in term rewriting and narrowing

Constraints in Computational Logics - Lecture Notes in Computer Science ◽

10.1007/bfb0016858 ◽

2005 ◽

pp. 253-268 ◽

Author(s):

Christian Prehofer

Keyword(s):

Download Full-text

Set constraints and logic programming

Constraints in Computational Logics - Lecture Notes in Computer Science ◽

10.1007/bfb0016861 ◽

2005 ◽

pp. 302-303 ◽

Author(s):

Dexter Kozen

Keyword(s):

Logic Programming ◽

Set Constraints

Download Full-text

Buchberger's algorithm: A constraint-based completion procedure

Constraints in Computational Logics - Lecture Notes in Computer Science ◽

10.1007/bfb0016860 ◽

2005 ◽

pp. 285-301 ◽

Author(s):

Leo Bachmair ◽

Harald Ganzinger

Download Full-text

Higher order disunification: Some decidable cases

Constraints in Computational Logics - Lecture Notes in Computer Science ◽

10.1007/bfb0016848 ◽

2005 ◽

pp. 121-135

Author(s):

D. Lugiez

Keyword(s):

Download Full-text