Number of the records: 1
Decorated linear order types and the theory of concatenation
- 1.
SYSNO 0351064 Title Decorated linear order types and the theory of concatenation Author(s) Čačić, V. (HR)
Pudlák, Pavel (MU-W) RID, SAI
Restall, G. (AU)
Urquhart, A. (CA)
Visser, A. (NL)Source Title Logic Colloquium 2007. S. 1-13. - Cambridge : Cambridge University Press, 2010 / Delon F. ; Kohlenbach U. ; Maddy P. ; Stephan F. Conference Logic Colloquium 2007, Wroclaw, 14.07.2007-19.07.2007 Document Type Konferenční příspěvek (zahraniční konf.) Grant IAA1019401 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) 1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS), CZ - Czech Republic CEZ AV0Z10190503 - MU-W (2005-2011) Language eng Country GB Keywords linear order * theory of concatenation Permanent Link http://hdl.handle.net/11104/0190897 File Download Size Commentary Version Access Pudlak1.pdf 1 220.6 KB Author’s postprint open-access
Number of the records: 1