Decorated linear order types and the theory of concatenation.

A. Visser, V. Cacic, P. Pudlak, G. Restall, A. Urquhart

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

Original language	English
Title of host publication	Logic Colloquium 2007
Editors	F. Delon, U. Kohlenbach, P. Maddy, F. Stephan
Place of Publication	Cambridge
Publisher	Cambridge University Press
Pages	1-13
Number of pages	13
Publication status	Published - 2010

Logic Colloquium 2007

Cite this

@inproceedings{9b4cd32086f24390b9678f991c602f37,

title = "Decorated linear order types and the theory of concatenation.",

author = "A. Visser and V. Cacic and P. Pudlak and G. Restall and A. Urquhart",

note = "Logic Colloquium 2007",

year = "2010",

language = "English",

pages = "1--13",

editor = "F. Delon and U. Kohlenbach and P. Maddy and F. Stephan",

booktitle = "Logic Colloquium 2007",

publisher = "Cambridge University Press",

}

TY - GEN

T1 - Decorated linear order types and the theory of concatenation.

AU - Visser, A.

AU - Cacic, V.

AU - Pudlak, P.

AU - Restall, G.

AU - Urquhart, A.

N1 - Logic Colloquium 2007

PY - 2010

Y1 - 2010

M3 - Conference contribution

SP - 1

EP - 13

BT - Logic Colloquium 2007

A2 - Delon, F.

A2 - Kohlenbach, U.

A2 - Maddy, P.

A2 - Stephan, F.

PB - Cambridge University Press

CY - Cambridge

ER -