Applications of constraint logic programming

Helmut Simonis

doi:10.1007/bfb0016850

Applications of constraint logic programming

Helmut Simonis

COSYTEC SA

Research output: Chapter in Book/Report/Conference proceedings › Conference proceeding › peer-review

Original language	English
Title of host publication	Constraints in Computational Logics - 1st International Conference, CCL 1994, Proceedings
Editors	Jean-Pierre Jouannaud
Publisher	Springer Verlag
Pages	152-153
Number of pages	2
ISBN (Print)	9783540584032
DOIs	https://doi.org/10.1007/bfb0016850
Publication status	Published - 1994
Externally published	Yes
Event	1st International Conference on Constraints in Computational Logics, CCL 1994 - Munich, Germany Duration: 7 Sep 1994 → 9 Sep 1994

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	845 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st International Conference on Constraints in Computational Logics, CCL 1994
Country/Territory	Germany
City	Munich
Period	7/09/94 → 9/09/94

Access to Document

10.1007/bfb0016850

Cite this

Simonis, H. (1994). Applications of constraint logic programming. In J.-P. Jouannaud (Ed.), Constraints in Computational Logics - 1st International Conference, CCL 1994, Proceedings (pp. 152-153). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 845 LNCS). Springer Verlag. https://doi.org/10.1007/bfb0016850

@inproceedings{80f8829e5bec4ef9971a62bc094c0ed1,

title = "Applications of constraint logic programming",

author = "Helmut Simonis",

year = "1994",

doi = "10.1007/bfb0016850",

language = "English",

isbn = "9783540584032",

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

publisher = "Springer Verlag",

pages = "152--153",

editor = "Jean-Pierre Jouannaud",

booktitle = "Constraints in Computational Logics - 1st International Conference, CCL 1994, Proceedings",

address = "Germany",

note = "1st International Conference on Constraints in Computational Logics, CCL 1994 ; Conference date: 07-09-1994 Through 09-09-1994",

}

Simonis, H 1994, Applications of constraint logic programming. in J-P Jouannaud (ed.), Constraints in Computational Logics - 1st International Conference, CCL 1994, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 845 LNCS, Springer Verlag, pp. 152-153, 1st International Conference on Constraints in Computational Logics, CCL 1994, Munich, Germany, 7/09/94. https://doi.org/10.1007/bfb0016850

Applications of constraint logic programming. / Simonis, Helmut.
Constraints in Computational Logics - 1st International Conference, CCL 1994, Proceedings. ed. / Jean-Pierre Jouannaud. Springer Verlag, 1994. p. 152-153 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 845 LNCS).

Research output: Chapter in Book/Report/Conference proceedings › Conference proceeding › peer-review

TY - GEN

T1 - Applications of constraint logic programming

AU - Simonis, Helmut

PY - 1994

Y1 - 1994

UR - https://www.scopus.com/pages/publications/85028457148

U2 - 10.1007/bfb0016850

DO - 10.1007/bfb0016850

M3 - Conference proceeding

AN - SCOPUS:85028457148

SN - 9783540584032

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

SP - 152

EP - 153

BT - Constraints in Computational Logics - 1st International Conference, CCL 1994, Proceedings

A2 - Jouannaud, Jean-Pierre

PB - Springer Verlag

T2 - 1st International Conference on Constraints in Computational Logics, CCL 1994

Y2 - 7 September 1994 through 9 September 1994

ER -

Applications of constraint logic programming

Publication series

Conference

Access to Document

Other files and links

Cite this