TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP

Emmanuel Coquery; François Fages

doi:10.1007/3-540-45619-8_42

TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP

Emmanuel Coquery
, François Fages

INRIA Rocquencourt

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

langue originale	Anglais
titre	Logic Programming - 18th International Conference, ICLP 2002, Proceedings
rédacteurs en chef	Peter J. Stuckey
Editeur	Springer Verlag
Pages	480
Nombre de pages	1
ISBN (imprimé)	3540439307, 9783540439301
Les DOIs	https://doi.org/10.1007/3-540-45619-8_42
état	Publié - 1 janv. 2002
Modification externe	Oui
Evénement	18th International Conference on Logic Programming, ICLP 2002 - Copenhagen, Danemark Durée: 29 juil. 2002 → 1 août 2002

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	2401 LNCS
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	18th International Conference on Logic Programming, ICLP 2002
Pays/Territoire	Danemark
La ville	Copenhagen
période	29/07/02 → 1/08/02

Accès au document

10.1007/3-540-45619-8_42

Contient cette citation

Coquery, E., & Fages, F. (2002). TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP. Dans P. J. Stuckey (Ed.), Logic Programming - 18th International Conference, ICLP 2002, Proceedings (p. 480). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 2401 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-45619-8_42

Coquery, Emmanuel ; Fages, François. / TCLP : Overloading, subtyping and parametric polymorphism made practical for CLP. Logic Programming - 18th International Conference, ICLP 2002, Proceedings. Editeur / Peter J. Stuckey. Springer Verlag, 2002. p. 480 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4bf44392bd92416896f8c2b066e0f17b,

title = "TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP",

author = "Emmanuel Coquery and Fran{\c c}ois Fages",

year = "2002",

month = jan,

day = "1",

doi = "10.1007/3-540-45619-8\_42",

language = "English",

isbn = "3540439307",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "480",

editor = "Stuckey, \{Peter J.\}",

booktitle = "Logic Programming - 18th International Conference, ICLP 2002, Proceedings",

note = "18th International Conference on Logic Programming, ICLP 2002 ; Conference date: 29-07-2002 Through 01-08-2002",

}

Coquery, E & Fages, F 2002, TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP. Dans PJ Stuckey (Ed.), Logic Programming - 18th International Conference, ICLP 2002, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 2401 LNCS, Springer Verlag, p. 480, 18th International Conference on Logic Programming, ICLP 2002, Copenhagen, Danemark, 29/07/02. https://doi.org/10.1007/3-540-45619-8_42

TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP. / Coquery, Emmanuel; Fages, François.
Logic Programming - 18th International Conference, ICLP 2002, Proceedings. Ed. / Peter J. Stuckey. Springer Verlag, 2002. p. 480 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 2401 LNCS).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - TCLP

T2 - 18th International Conference on Logic Programming, ICLP 2002

AU - Coquery, Emmanuel

AU - Fages, François

PY - 2002/1/1

Y1 - 2002/1/1

U2 - 10.1007/3-540-45619-8_42

DO - 10.1007/3-540-45619-8_42

M3 - Conference contribution

AN - SCOPUS:84888230649

SN - 3540439307

SN - 9783540439301

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 480

BT - Logic Programming - 18th International Conference, ICLP 2002, Proceedings

A2 - Stuckey, Peter J.

PB - Springer Verlag

Y2 - 29 July 2002 through 1 August 2002

ER -

Coquery E, Fages F. TCLP: Overloading, subtyping and parametric polymorphism made practical for CLP. Dans Stuckey PJ, Editeur, Logic Programming - 18th International Conference, ICLP 2002, Proceedings. Springer Verlag. 2002. p. 480. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-45619-8_42