Decorated linear order types and the theory of concatenation

Čačić V



Název
Decorated linear order types and the theory of concatenation
Autor
lupa Čačić V.
Spoluautoři
lupa Pudlák Pavel MU-W - Matematický ústav AV ČR, v. v. i.
lupa Restall G.
lupa Urquhart A.
lupa Visser A.
Zdroj.dok.
lupa Logic Colloquium 2007. S. 1-13. - Cambridge : Cambridge University Press, 2010 / Delon F. ; Kohlenbach U. ; Maddy P. ; Stephan F.
Vyd.údaje
13 s.
Druh dok.
C
Jazyk dok.
eng
Země vyd.
GB
Klíč.slova
linear order * theory of concatenation
Databáze
zc - Konferenční příspěvek (zahraniční konference)
Trvalý link
http://hdl.handle.net/11104/0190897