{LPAR} 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings

Kenneth L McMillan; Aart Middeldorp; Geoff Sutcliffe; Andrei Voronkov

{LPAR} 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings

Kenneth L McMillan (Editor)
, Aart Middeldorp (Editor)
, Geoff Sutcliffe (Editor)
, Andrei Voronkov (Editor)

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

Original language	English
Title of host publication	EPiC Series
Publisher	EasyChair
Volume	26
Publication status	Published - 2014

Publication series

Name	EPiC Series
Publisher	EasyChair

Access to Document

Cite this

@inproceedings{37107c4873dc406bbb8abbb5ffe79329,

title = "\{LPAR\} 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings",

author = "McMillan, \{Kenneth L\} and Aart Middeldorp and Geoff Sutcliffe and Andrei Voronkov",

year = "2014",

language = "English",

volume = "26",

series = "EPiC Series",

publisher = "EasyChair",

booktitle = "EPiC Series",

address = "United Kingdom",

}

{LPAR} 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings. / McMillan, Kenneth L (Editor); Middeldorp, Aart (Editor); Sutcliffe, Geoff (Editor) et al.
EPiC Series. Vol. 26 EasyChair, 2014. (EPiC Series).

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

TY - GEN

T1 - {LPAR} 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings

A2 - McMillan, Kenneth L

A2 - Middeldorp, Aart

A2 - Sutcliffe, Geoff

A2 - Voronkov, Andrei

PY - 2014

Y1 - 2014

M3 - Conference contribution

VL - 26

T3 - EPiC Series

BT - EPiC Series

PB - EasyChair

ER -