Výsledky vyhledávání

  1. 1.
    0472097 - ÚI 2018 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Fermüller, C. - Majer, Ondrej
    Equilibrium Semantics for IF Logic and Many-Valued Connectives.
    Logic, Language, and Computation. Berlin: Springer, 2017 - (Hansen, H.; Murray, S.; Sadrzadeh, M.; Zeevat, H.), s. 290-312. Lecture Notes in Computer Science, 10148. ISBN 978-3-662-54331-3. ISSN 0302-9743.
    [TbiLLC 2015. International Tbilisi Symposium on Language, Logic and Computation /11./. Tbilisi (GE), 21.09.2015-26.09.2015]
    Grant CEP: GA ČR(CZ) GF15-34650L
    Institucionální podpora: RVO:67985807
    Klíčová slova: game semantics * IF logic * fuzzy logic * Lukasiwicz logic * Giles’s game
    Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
    Trvalý link: http://hdl.handle.net/11104/0270737
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0472097 corrected.pdf4486.4 KBVydavatelský postprintvyžádat
     
     
  2. 2.
    0427526 - ÚI 2015 GE eng C - Konferenční příspěvek (zahraniční konf.)
    Majer, Ondrej - Kroupa, T.
    Strategic Games over Lukasiewicz Logic.
    Tenth Tbilisi Symposium on Language, Logic and Computation. Tbilisi State University, 2013, s. 119-123.
    [TbiLLC 2013. International Tbilisi Symposium on Language, Logic and Computation /10./. Gudauri (GE), 23.09.2013-27.09.2013]
    Kód oboru RIV: BA - Obecná matematika
    Trvalý link: http://hdl.handle.net/11104/0233054
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0427526.pdf1308 KBVydavatelský postprintvyžádat
     
     


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