Disjunctive constraint lambda calculi

Matthias Holzl; John Newsome Crossley

doi:10.1007/11591191_6

Disjunctive constraint lambda calculi

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

Original language	English
Title of host publication	Proceedings of the 12th International Conference on Logic Programming, Artificial Intelligence, and Reasoning (LPAR 2005)
Editors	Geoff Sutcliffe, Andrei Voronkov
Place of Publication	Berlin Germany
Publisher	Springer-Verlag London Ltd.
Pages	64 - 78
Number of pages	15
Volume	3835
ISBN (Print)	0302-9743
DOIs	https://doi.org/10.1007/11591191_6
Publication status	Published - 2005
Event	International Conference on Logic Programming and Automated Reasoning 2005 - Montego Bay Jamaica, Berlin Germany Duration: 1 Jan 2005 → …

Conference

Conference	International Conference on Logic Programming and Automated Reasoning 2005
Abbreviated title	LPAR 2005
City	Berlin Germany
Period	1/01/05 → …

Access to Document

10.1007/11591191_6

Cite this

@inproceedings{f1c2a35f10ec4f87a434c8595a340afd,

title = "Disjunctive constraint lambda calculi",

author = "Matthias Holzl and Crossley, {John Newsome}",

year = "2005",

doi = "10.1007/11591191_6",

language = "English",

isbn = "0302-9743",

volume = "3835",

pages = "64 -- 78",

editor = "Geoff Sutcliffe and Andrei Voronkov",

booktitle = "Proceedings of the 12th International Conference on Logic Programming, Artificial Intelligence, and Reasoning (LPAR 2005)",

publisher = "Springer-Verlag London Ltd.",

address = "Germany",

note = "International Conference on Logic Programming and Automated Reasoning 2005, LPAR 2005 ; Conference date: 01-01-2005",

}

Holzl, M & Crossley, JN 2005, Disjunctive constraint lambda calculi. in G Sutcliffe & A Voronkov (eds), Proceedings of the 12th International Conference on Logic Programming, Artificial Intelligence, and Reasoning (LPAR 2005). vol. 3835, Springer-Verlag London Ltd., Berlin Germany, pp. 64 - 78, International Conference on Logic Programming and Automated Reasoning 2005, Berlin Germany, 1/01/05. https://doi.org/10.1007/11591191_6

Disjunctive constraint lambda calculi. / Holzl, Matthias; Crossley, John Newsome.

Proceedings of the 12th International Conference on Logic Programming, Artificial Intelligence, and Reasoning (LPAR 2005). ed. / Geoff Sutcliffe; Andrei Voronkov. Vol. 3835 Berlin Germany : Springer-Verlag London Ltd., 2005. p. 64 - 78.

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

TY - GEN

T1 - Disjunctive constraint lambda calculi

AU - Holzl, Matthias

AU - Crossley, John Newsome

PY - 2005

Y1 - 2005

U2 - 10.1007/11591191_6

DO - 10.1007/11591191_6

M3 - Conference Paper

SN - 0302-9743

VL - 3835

SP - 64

EP - 78

BT - Proceedings of the 12th International Conference on Logic Programming, Artificial Intelligence, and Reasoning (LPAR 2005)

A2 - Sutcliffe, Geoff

A2 - Voronkov, Andrei

PB - Springer-Verlag London Ltd.

CY - Berlin Germany

T2 - International Conference on Logic Programming and Automated Reasoning 2005

Y2 - 1 January 2005

ER -