Constraints in Computational Logics. Theory and Applications: International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures [Book Review]

, , &
Springer Verlag (2001)
  Copy   BIBTEX

Abstract

Constraints and constraint solving : an introduction / Jean-Pierre Jouannaud / - Constraint solving on terms / Hubert Comon / - Combining constraint solving / Franz Baader / - Constraints and theorem proving / Harald Ganzinger / - Functional and constraint logic programming / Mario Rodríguez-Artalejo / - Building industrial applications with constraint programming / Helmut Simonis.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9783540419501   3540419500

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : Selected Papers.B. O'sullivan - 2003
Programming with Constraints: An Introduction.Kim Marriott & Peter J. Stuckey - 1998 - MIT Press.
Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Csclp 2003, Budapest, Hungary, June 30 - July 2, 2003 : Selected Papers.Krzysztof Apt, Francois Fages, Francesca Rossi, Peter Szeredi & Josef Váncza - 2004 - Springer Verlag.
Logic Programming Languages: Constraints, Functions, and Objects.Krzysztof R. Apt & J. J. M. M. Rutten - 1993 - MIT Press.
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution.Bob Carpenter - 1992 - Cambridge University Press.
Category-based Semantics for Equational and Constraint Logic Programming.Răzvan Diaconescu - 1994
Frontiers of combining systems: 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002: proceedings.Alessandro Armando (ed.) - 2002 - New York: Springer.
Constraint Logic Programming: Selected Research.Frédéric Benhamou & Alain Colmerauer - 1993 - MIT Press.
Constraint satisfaction using constraint logic programming.Pascal Van Hentenryck, Helmut Simonis & Mehmet Dincbas - 1992 - Artificial Intelligence 58 (1-3):113-159.
Computational molecular biology: A promising application using logic programming and constraint logic programming.J. Cohen - 1999 - In P. Brezillon & P. Bouquet (eds.), Lecture Notes in Artificial Intelligence. Springer.

Analytics

Added to PP
2015-02-13

Downloads
1 (#1,919,373)

6 months
1 (#1,722,767)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references