Výsledky vyhledávání
- 1.0427516 - ÚI 2015 RIV eng U - Uspořádání akce
Cintula, Petr
Prague Seminar on Substructural Logics.
[Prague, 28.03.2014-29.03.2014, (W-WRD 20/7)]
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985807
Klíčová slova: mathematical logic * substructural logic * logic in computer science
Kód oboru RIV: IN - Informatika
http://www.cs.cas.cz/cintula/PSSubLog
Trvalý link: http://hdl.handle.net/11104/0233041