Search results
- 1.0422140 - MÚ 2014 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA100190902; GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10190503
Keywords : proof complexity * propositional tautology * boolean circuits
Subject RIV: BA - General Mathematics
http://drops.dagstuhl.de/opus/volltexte/2010/2851/
Permanent Link: http://hdl.handle.net/11104/0228350File Download Size Commentary Version Access Pudlak2.pdf 1 424.5 KB Publisher’s postprint open-access - 2.0404771 - UIVT-O 20030016 RIV SK eng J - Journal Article
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
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: AV0Z1030915
Keywords : BL-algebra * pseudo-BL-algebra * tautology
Subject RIV: BA - General Mathematics
http://tatra.mat.savba.sk/paper.php?id_paper=682
Permanent Link: http://hdl.handle.net/11104/0125005 - 3.0403463 - UIVT-O 20020001 RIV DE eng J - Journal Article
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
R&D Projects: GA ČR GA201/98/0717; GA AV ČR IAA1019602; GA ČR GA201/97/P038; GA MŠMT ME 103
Institutional research plan: AV0Z1030915
Keywords : disjunctive normal form * tautology * occurences of variable
Subject RIV: BA - General Mathematics
Impact factor: 0.417, year: 2000
Permanent Link: http://hdl.handle.net/11104/0123768 - 4.0343867 - ÚI 2011 RIV GB eng J - Journal Article
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
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : Lukasiewicz logic * product logic * tautology * (non)tautology
Subject RIV: BA - General Mathematics
Impact factor: 0.433, year: 2010
Permanent Link: http://hdl.handle.net/11104/0186242 - 5.0049129 - ÚJČ 2007 RIV SIGLE CZ cze J - Journal Article
Lišková, Michaela
Státní fiskus?
[State fisc?]
Naše řeč. Roč. 89, č. 1 (2006), s. 53-54. ISSN 0027-8203
Institutional research plan: CEZ:AV0Z90610521
Keywords : etymology * tautology * meaning
Subject RIV: AI - Linguistics
Permanent Link: http://hdl.handle.net/11104/0139603