Výsledky vyhledávání

  1. 1.
    0422140 - MU-W 2014 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
    Pudlák, Pavel
    On extracting computations from propositional proofs.
    IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Wadem: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2010 - (Lodaya, K.; Mahajan, M.), s. 30-41. Leibniz International Proceedings in Informatics, vol. 8. ISBN 978-3-939897-23-1.
    [International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), /30./. Chennai (IN), 15.12.2010-16.12.2010]
    Grant CEP: GA AV ČR IAA100190902; GA MŠk(CZ) 1M0545
    Výzkumný záměr: CEZ:AV0Z10190503
    Klíčová slova: proof complexity * propositional tautology * boolean circuits
    Kód oboru RIV: BA - Obecná matematika
    http://drops.dagstuhl.de/opus/volltexte/2010/2851/
    Trvalý link: http://hdl.handle.net/11104/0228350
    Název souboruStaženoVelikostKomentářVerzePřístup
    Pudlak2.pdf1424.5 KBVydavatelský postprintpovolen
     
  2. 2.
    0404771 - UIVT-O 20030016 RIV SK eng J - Článek v odborném periodiku
    Hájek, Petr
    Embedding Standard BL-Algebras into Non-Commutative Pseudo-BL-Algebras.
    Tatra Mountains Mathematical Publications. Roč. 27, č. 3 (2003), s. 125-130. ISSN 1210-3195
    Grant CEP: GA AV ČR IAA1030004
    Výzkumný záměr: AV0Z1030915
    Klíčová slova: BL-algebra * pseudo-BL-algebra * tautology
    Kód oboru RIV: BA - Obecná matematika
    http://tatra.mat.savba.sk/paper.php?id_paper=682
    Trvalý link: http://hdl.handle.net/11104/0125005
     
  3. 3.
    0403463 - UIVT-O 20020001 RIV DE eng J - Článek v odborném periodiku
    Savický, Petr - Sgall, Jiří
    DNF Tautologies with a Limited Number of Occurrences of Every Variable.
    Theoretical Computer Science. Roč. 238, 1-2 (2000), s. 495-498. ISSN 0304-3975
    Grant CEP: GA ČR GA201/98/0717; GA AV ČR IAA1019602; GA ČR GA201/97/P038; GA MŠk ME 103
    Výzkumný záměr: AV0Z1030915
    Klíčová slova: disjunctive normal form * tautology * occurences of variable
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.417, rok: 2000
    Trvalý link: http://hdl.handle.net/11104/0123768
     
  4. 4.
    0343867 - UIVT-O 2011 RIV GB eng J - Článek v odborném periodiku
    Hájek, Petr
    Some (Non)Tautologies of Lukasiewicz and Product Logic.
    Review of Symbolic Logic. Roč. 3, č. 2 (2010), s. 273-278. ISSN 1755-0203
    Grant CEP: GA MŠk(CZ) 1M0545
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: Lukasiewicz logic * product logic * tautology * (non)tautology
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.433, rok: 2010
    Trvalý link: http://hdl.handle.net/11104/0186242
     
  5. 5.
    0049129 - UJC-A 2007 RIV SIGLE CZ cze J - Článek v odborném periodiku
    Lišková, Michaela
    Státní fiskus?
    [State fisc?]
    Naše řeč. Roč. 89, č. 1 (2006), s. 53-54. ISSN 0027-8203
    Výzkumný záměr: CEZ:AV0Z90610521
    Klíčová slova: etymology * tautology * meaning
    Kód oboru RIV: AI - Jazykověda
    Trvalý link: http://hdl.handle.net/11104/0139603