An algebraic system for linear orders

Tim French; John Mccabe-Dansted; Mark Reynolds

doi:10.1109/TIME.2013.18

An algebraic system for linear orders

Tim French, John Mccabe-Dansted, Mark Reynolds

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Original language	English
Title of host publication	TIME'13 20th International Symposium on Temporal Representation and Reasoning
Place of Publication	USA
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	81-88
Volume	1
ISBN (Print)	9780769551128
DOIs	https://doi.org/10.1109/TIME.2013.18
Publication status	Published - 2013
Event	2013 20th International Symposium on Temporal Representation and Reasoning - Pensacola, United States Duration: 26 Sept 2013 → 28 Sept 2013

Conference

Conference	2013 20th International Symposium on Temporal Representation and Reasoning
Country/Territory	United States
City	Pensacola
Period	26/09/13 → 28/09/13

Access to Document

10.1109/TIME.2013.18

Cite this

@inproceedings{8c3f8373eba24da5af22139157885cdf,

title = "An algebraic system for linear orders",

author = "Tim French and John Mccabe-Dansted and Mark Reynolds",

year = "2013",

doi = "10.1109/TIME.2013.18",

language = "English",

isbn = "9780769551128",

volume = "1",

pages = "81--88",

booktitle = "TIME'13 20th International Symposium on Temporal Representation and Reasoning",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States",

note = "2013 20th International Symposium on Temporal Representation and Reasoning ; Conference date: 26-09-2013 Through 28-09-2013",

}

French, T, Mccabe-Dansted, J & Reynolds, M 2013, An algebraic system for linear orders. in TIME'13 20th International Symposium on Temporal Representation and Reasoning. vol. 1, IEEE, Institute of Electrical and Electronics Engineers, USA, pp. 81-88, 2013 20th International Symposium on Temporal Representation and Reasoning, Pensacola, Florida, United States, 26/09/13. https://doi.org/10.1109/TIME.2013.18

TY - GEN

T1 - An algebraic system for linear orders

AU - French, Tim

AU - Mccabe-Dansted, John

AU - Reynolds, Mark

PY - 2013

Y1 - 2013

U2 - 10.1109/TIME.2013.18

DO - 10.1109/TIME.2013.18

M3 - Conference paper

SN - 9780769551128

VL - 1

SP - 81

EP - 88

BT - TIME'13 20th International Symposium on Temporal Representation and Reasoning

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - USA

T2 - 2013 20th International Symposium on Temporal Representation and Reasoning

Y2 - 26 September 2013 through 28 September 2013

ER -