Approximating constraint logic programs using polymorphic types and regular descriptions

Hüseyin Sağlam; John P. Gallagher

doi:10.1007/BFb0026840

Approximating constraint logic programs using polymorphic types and regular descriptions

Hüseyin Sağlam
, John P. Gallagher

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

Original language	English
Title of host publication	Programming Languages - Implementations, Logics and Programs : 7th International Symposium, PLILP 1995, Proceedings
Editors	Manuel Hermenegildo, S. Doaitse Swierstra
Number of pages	2
Publisher	Springer Verlag
Publication date	1995
Pages	461-462
ISBN (Print)	354060359X, 9783540603597
DOIs	https://doi.org/10.1007/BFb0026840
Publication status	Published - 1995
Externally published	Yes
Event	7th International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP 1995 - Utrecht, Netherlands Duration: 20 Sept 1995 → 22 Sept 1995

Conference

Conference	7th International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP 1995
Country/Territory	Netherlands
City	Utrecht
Period	20/09/1995 → 22/09/1995

Series	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	982
ISSN	0302-9743

Access to Document

10.1007/BFb0026840

Citation Styles

Sağlam, Hüseyin ; Gallagher, John P. / Approximating constraint logic programs using polymorphic types and regular descriptions. Programming Languages - Implementations, Logics and Programs: 7th International Symposium, PLILP 1995, Proceedings. editor / Manuel Hermenegildo ; S. Doaitse Swierstra. Springer Verlag, 1995. pp. 461-462 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 982).

@inproceedings{9e88b39818e74d1fa3204bcaa2203898,

title = "Approximating constraint logic programs using polymorphic types and regular descriptions",

author = "H{\"u}seyin Sağlam and Gallagher, \{John P.\}",

year = "1995",

doi = "10.1007/BFb0026840",

language = "English",

isbn = "354060359X",

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

publisher = "Springer Verlag",

pages = "461--462",

editor = "Manuel Hermenegildo and Swierstra, \{S. Doaitse\}",

booktitle = "Programming Languages - Implementations, Logics and Programs",

note = "7th International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP 1995 ; Conference date: 20-09-1995 Through 22-09-1995",

}

Sağlam, H & Gallagher, JP 1995, Approximating constraint logic programs using polymorphic types and regular descriptions. in M Hermenegildo & SD Swierstra (eds), Programming Languages - Implementations, Logics and Programs: 7th International Symposium, PLILP 1995, Proceedings. Springer Verlag, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 982, pp. 461-462, 7th International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP 1995, Utrecht, Netherlands, 20/09/1995. https://doi.org/10.1007/BFb0026840

Approximating constraint logic programs using polymorphic types and regular descriptions. / Sağlam, Hüseyin; Gallagher, John P.
Programming Languages - Implementations, Logics and Programs: 7th International Symposium, PLILP 1995, Proceedings. ed. / Manuel Hermenegildo; S. Doaitse Swierstra. Springer Verlag, 1995. p. 461-462 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 982).

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

TY - GEN

T1 - Approximating constraint logic programs using polymorphic types and regular descriptions

AU - Sağlam, Hüseyin

AU - Gallagher, John P.

PY - 1995

Y1 - 1995

U2 - 10.1007/BFb0026840

DO - 10.1007/BFb0026840

M3 - Article in proceedings

AN - SCOPUS:84958630796

SN - 354060359X

SN - 9783540603597

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

SP - 461

EP - 462

BT - Programming Languages - Implementations, Logics and Programs

A2 - Hermenegildo, Manuel

A2 - Swierstra, S. Doaitse

PB - Springer Verlag

T2 - 7th International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP 1995

Y2 - 20 September 1995 through 22 September 1995

ER -

Sağlam H, Gallagher JP. Approximating constraint logic programs using polymorphic types and regular descriptions. In Hermenegildo M, Swierstra SD, editors, Programming Languages - Implementations, Logics and Programs: 7th International Symposium, PLILP 1995, Proceedings. Springer Verlag. 1995. p. 461-462. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 982). doi: 10.1007/BFb0026840