Semantics of Constraint Logic Programs with Bounded Quantifiers

Martin Argenius; Andrei Voronkov; Roy Dyckhoff; Heinrich Herre; Peter Schroeder-Heister

doi:10.1007/3-540-60983-0_1

Semantics of Constraint Logic Programs with Bounded Quantifiers

Martin Argenius, Andrei Voronkov, Roy Dyckhoff (Editor), Heinrich Herre (Editor), Peter Schroeder-Heister (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	ELP
Editors	Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
Publisher	Springer Nature
Pages	1-18
Number of pages	18
Volume	1050
ISBN (Print)	3-540-60983-0
DOIs	https://doi.org/10.1007/3-540-60983-0_1
Publication status	Published - 1996
Event	Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/elp/elp96.html#DegtyarevV96http://dblp.uni-trier.de/rec/bibtex/conf/elp/DegtyarevV96.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/elp/DegtyarevV96

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/elp/elp96.html#DegtyarevV96http://dblp.uni-trier.de/rec/bibtex/conf/elp/DegtyarevV96.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/elp/DegtyarevV96

Access to Document

10.1007/3-540-60983-0_1

Cite this

@inproceedings{f140b96dd6d14a94bf3521ed54da534a,

title = "Semantics of Constraint Logic Programs with Bounded Quantifiers",

author = "Martin Argenius and Andrei Voronkov and Roy Dyckhoff and Heinrich Herre and Peter Schroeder-Heister",

year = "1996",

doi = "10.1007/3-540-60983-0_1",

language = "English",

isbn = "3-540-60983-0",

volume = "1050",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "1--18",

editor = "Roy Dyckhoff and Heinrich Herre and Peter Schroeder-Heister",

booktitle = "ELP",

address = "United States",

note = "Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/elp/elp96.html#DegtyarevV96http://dblp.uni-trier.de/rec/bibtex/conf/elp/DegtyarevV96.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/elp/DegtyarevV96",

}

Argenius, M, Voronkov, A, Dyckhoff, R (ed.), Herre, H (ed.) & Schroeder-Heister, P (ed.) 1996, Semantics of Constraint Logic Programs with Bounded Quantifiers. in R Dyckhoff, H Herre & P Schroeder-Heister (eds), ELP. vol. 1050, Lecture Notes in Computer Science, Springer Nature, pp. 1-18, Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings, 1/01/24. https://doi.org/10.1007/3-540-60983-0_1

TY - GEN

T1 - Semantics of Constraint Logic Programs with Bounded Quantifiers

AU - Argenius, Martin

AU - Voronkov, Andrei

A2 - Dyckhoff, Roy

A2 - Herre, Heinrich

A2 - Schroeder-Heister, Peter

A2 - Dyckhoff, Roy

A2 - Herre, Heinrich

A2 - Schroeder-Heister, Peter

PY - 1996

Y1 - 1996

U2 - 10.1007/3-540-60983-0_1

DO - 10.1007/3-540-60983-0_1

M3 - Conference contribution

SN - 3-540-60983-0

VL - 1050

T3 - Lecture Notes in Computer Science

SP - 1

EP - 18

BT - ELP

PB - Springer Nature

T2 - Extensions of Logic Programming, 5th International Workshop, ELP'96, Leipzig, Germany, March 28-30, 1996, Proceedings

Y2 - 1 January 1824

ER -