17. ICLP 2001:
Paphos, Cyprus Philippe Codognet (Ed.):
Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings.
Lecture Notes in Computer Science 2237 Springer 2001, ISBN 3-540-42935-2 Invited Speakers
export record as
dblp key:
Alain Colmerauer :
Solving the Multiplication Constraint in Several Approximation Spaces.
1
export record as
dblp key:
export record as
dblp key:
Patrick Cousot :
Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations.
4-5
export record as
dblp key:
Ashish Gupta :
X-tegration - Some Cross-Enterprise Thoughts.
6
Tutorials
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Conference Papers
export record as
dblp key:
export record as
dblp key:
conf/iclp/VillaverdePGG01 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Hai-Feng Guo ,
Gopal Gupta :
A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives.
181-196
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/iclp/Almendros-JimenezBS01 export record as
dblp key:
data released under the ODC-BY 1.0 license
