Výsledky vyhledávání
- 1.0348224 - ÚI 2011 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Chvalovský, Karel
Non-Equivalence of Some Implicational Deduction Theorems.
Doktorandské dny '10. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2010 - (Kuželová, D.; Hakl, F.), s. 49-55. ISBN 978-80-7378-133-0.
[Doktorandské dny 2010 Ústavu informatiky AV ČR, v. v. i. Heřmanice v Podještědí (CZ), 29.09.2010-01.10.2010]
Grant CEP: GA AV ČR IAA900090703; GA ČR GD401/09/H007
Grant ostatní: GA UK 73109/2009
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: implicational deduction theorems * contraction-free logics * automated theorem proving
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0188809Název souboru Staženo Velikost Komentář Verze Přístup 0348224.pdf 15 176.1 KB Vydavatelský postprint povolen - 2.0312144 - ÚI 2009 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Běhounek, Libor
Modeling Costs of Program Runs in Fuzzified Propositional Dynamic Logic.
Doktorandské dny '08. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2008 - (Hakl, F.), s. 11-18. ISBN 978-80-7378-054-8.
[Doktorandské dny 2008 Ústavu informatiky AV ČR, v. v. i. Jizerka (CZ), 29.09.2008-01.10.2008]
Grant CEP: GA AV ČR IAA900090703
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: dynamic logic * fuzzy logic * program * cost
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0163282Název souboru Staženo Velikost Komentář Verze Přístup 0312144.pdf 15 185 KB Vydavatelský postprint povolen