13th WLPE 2003: Mumbai, India

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > WLPE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ kuleuven.be
  - no references & citations available
- export record
  dblp key:
  - conf/lpe/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/2003
Frédéric Mesnard, Alexander Serebrenik:
Proceedings of the 13th International Workshop on Logic Programming Environments, Tata Institute of Fundamental Research, Mumbai, India, December 8, 2003. Report CW371, Katholieke Universiteit Leuven, Department of Computer Science, Celestijnenlaan 200A, B-3001 Heverlee (Belgium) 2003
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lpe/Wielemaker03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/Wielemaker03
Jan Wielemaker:
An Overview of the SWI-Prolog Programming Environment. WLPE 2003: 1-16
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lpe/Coquery03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/Coquery03
Emmanuel Coquery:
TCLP: A type checker for CLP(X). WLPE 2003: 17-30
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lpe/SeipelHH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/SeipelHH03
Dietmar Seipel, Marbod Hopfner, Bernd D. Heumesser:
Analyzing and Visualising Prolog programs based on XML representations. WLPE 2003: 31-45
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lpe/DeransartLD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/DeransartLD03
Pierre Deransart, Ludovic Langevine, Mireille Ducassé:
Demonstration: Debugging constraint problems with portable tools. WLPE 2003: 46-47
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lpe/CodishG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/CodishG03
Michael Codish, Samir Genaim:
Proving Termination One Loop at a Time. WLPE 2003: 48-59
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lpe/SerebrenikS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/SerebrenikS03
Alexander Serebrenik, Danny De Schreye:
Hasta-La-Vista: Termination Analyser for Logic Programs. WLPE 2003: 60-74
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/lpe/Munoz-HernandezVG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpe/Munoz-HernandezVG03
Susana Muñoz-Hernández, Claudio Vaucheret, Sergio Guadarrama:
Constructive combination of crisp and fuzzy logic in a Prolog compiler. WLPE 2003: 75-89

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.