Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings 2001
DBLP:	db/conf/iclp/iclp2001.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 10 of 31  

Select a publication
Show	Title	Venue	Rating	Date
	Samik Basu, Madhavan Mukund, C. R. Ramakrishnan, I. V. Ramakrishnan, Rakesh M. Verma. Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming.	Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings 2001	(0)	2001
	Nicolas Beldiceanu, Mats Carlsson. Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family.	Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings 2001	(0)	2001
	Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Jaime Sánchez-Hernández. A Computational Model for Functional Logic Deductive Databases.	Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings 2001	(0)	2001
	Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura. Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.	Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings 2001	(0)	2001
	Maria Garcia de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur. Building Constraint Solvers with HAL.	Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings 2001	(0)	2001
	Luís Fernando Castro, Vítor Santos Costa. Understanding Memory Management in Prolog Systems.	Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings 2001	(0)	2001
	Eric Villemonte de la Clergerie. Natural Language Tabular Parsing.	Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings 2001	(0)	2001
	Patrick Cousot. Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.	Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings 2001	(0)	2001
	Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey. Higher-Precision Groundness Analysis.	Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings 2001	(0)	2001
	Alain Colmerauer. Solving the Multiplication Constraint in Several Approximation Spaces.	Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings 2001	(0)	2001

Your query returned 31 matches in the database.