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

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Originalsprog	Engelsk
Titel	Programming Languages - Implementations, Logics and Programs : 7th International Symposium, PLILP 1995, Proceedings
Redaktører	Manuel Hermenegildo, S. Doaitse Swierstra
Antal sider	2
Forlag	Springer Verlag
Publikationsdato	1995
Sider	461-462
ISBN (Trykt)	354060359X, 9783540603597
DOI	https://doi.org/10.1007/BFb0026840
Status	Udgivet - 1995
Udgivet eksternt	Ja
Begivenhed	7th International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP 1995 - Utrecht, Holland Varighed: 20 sep. 1995 → 22 sep. 1995

Konference

Konference	7th International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP 1995
Land/Område	Holland
By	Utrecht
Periode	20/09/1995 → 22/09/1995
Sponsor	Compulog Net, Italian National Research Centre (IASI-CNR), Royal Netherlands Academy of Arts and Sciences, Association for Logic Programming, The Netherlands Computer Science Research Foundation (SION)

Navn	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind	982
ISSN	0302-9743

Link til dokument

10.1007/BFb0026840

Citer dette

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. red. / Manuel Hermenegildo ; S. Doaitse Swierstra. Springer Verlag, 1995. s. 461-462 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 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. i M Hermenegildo & SD Swierstra (red), 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), bind 982, s. 461-462, 7th International Symposium on Programming Languages: Implementations, Logics and Programs, PLILP 1995, Utrecht, Holland, 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. red. / Manuel Hermenegildo; S. Doaitse Swierstra. Springer Verlag, 1995. s. 461-462 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 982).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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. I Hermenegildo M, Swierstra SD, red., Programming Languages - Implementations, Logics and Programs: 7th International Symposium, PLILP 1995, Proceedings. Springer Verlag. 1995. s. 461-462. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 982). doi: 10.1007/BFb0026840