Výsledky vyhledávání
- 1.0422140 - MÚ 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ŠMT(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/0228350Název souboru Staženo Velikost Komentář Verze Přístup Pudlak2.pdf 1 424.5 KB Vydavatelský postprint povolen - 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.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. E-ISSN 1879-2294
Grant CEP: GA ČR GA201/98/0717; GA AV ČR IAA1019602; GA ČR GA201/97/P038; GA MŠMT 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.0343867 - ÚI 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. E-ISSN 1755-0211
Grant CEP: GA MŠMT(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.0049129 - ÚJČ 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