Publications
Search

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.