Počet záznamů: 1  

Decorated linear order types and the theory of concatenation

  1. 1.
    SYSNO0351064
    NázevDecorated linear order types and the theory of concatenation
    Tvůrce(i) Čačić, V. (HR)
    Pudlák, Pavel (MU-W) RID, SAI
    Restall, G. (AU)
    Urquhart, A. (CA)
    Visser, A. (NL)
    Zdroj.dok. Logic Colloquium 2007. S. 1-13. - Cambridge : Cambridge University Press, 2010 / Delon F. ; Kohlenbach U. ; Maddy P. ; Stephan F.
    Konference Logic Colloquium 2007, Wroclaw, 14.07.2007-19.07.2007
    Druh dok.Konferenční příspěvek (zahraniční konf.)
    Grant IAA1019401 GA AV ČR - Akademie věd
    1M0545 GA MŠMT - Ministerstvo školství, mládeže a tělovýchovy, CZ - Česká republika
    CEZAV0Z10190503 - MU-W (2005-2011)
    Jazyk dok.eng
    Země vyd.GB
    Klíč.slova linear order * theory of concatenation
    Trvalý linkhttp://hdl.handle.net/11104/0190897
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak1.pdf1220.6 KBAutorský postprintpovolen
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.