Počet záznamů: 1
Decorated linear order types and the theory of concatenation
- 1.0351064 - MÚ 2011 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Čačić, V. - Pudlák, Pavel - Restall, G. - Urquhart, A. - Visser, A.
Decorated linear order types and the theory of concatenation.
Logic Colloquium 2007. Cambridge: Cambridge University Press, 2010 - (Delon, F.; Kohlenbach, U.; Maddy, P.; Stephan, F.), s. 1-13. ISBN 978-0-521-76065-2.
[Logic Colloquium 2007. Wroclaw (PL), 14.07.2007-19.07.2007]
Grant CEP: GA AV ČR IAA1019401; GA MŠMT(CZ) 1M0545
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: linear order * theory of concatenation
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0190897Název souboru Staženo Velikost Komentář Verze Přístup Pudlak1.pdf 1 220.6 KB Autorský postprint povolen
Počet záznamů: 1