Publications
Search

Publications :: Search

Show venue

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

    Conference
    Name: Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003 2003
    DBLP: db/conf/lpe/wlpe2003.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 7 of 7  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Dietmar Seipel, Marbod Hopfner, Bernd D. Heumesser.
    Analyzing and Visualising Prolog programs based on XML representations.
    Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003 2003 (0) 2003
    Conference paper
    Alexander Serebrenik, Danny De Schreye.
    Hasta-La-Vista: Termination Analyser for Logic Programs.
    Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003 2003 (0) 2003
    Conference paper
    Jan Wielemaker.
    An Overview of the SWI-Prolog Programming Environment.
    Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003 2003 (0) 2003
    Conference paper
    Michael Codish, Samir Genaim.
    Proving Termination One Loop at a Time.
    Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003 2003 (0) 2003
    Conference paper
    Emmanuel Coquery.
    TCLP: A type checker for CLP(X).
    Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003 2003 (0) 2003
    Conference paper
    Pierre Deransart, Ludovic Langevine, Mireille Ducassé.
    Demonstration: Debugging constraint problems with portable tools.
    Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003 2003 (0) 2003
    Conference paper
    Susana Muñoz-Hernández, Claudio Vaucheret, Sergio Guadarrama.
    Constructive combination of crisp and fuzzy logic in a Prolog compiler.
    Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003 2003 (0) 2003
    Show item 1 to 7 of 7  

    Your query returned 7 matches in the database.