Search results
- 1.0427516 - ÚI 2015 RIV eng U - Conference, Workshop Arrangement
Cintula, Petr
Prague Seminar on Substructural Logics.
[Prague, 28.03.2014-29.03.2014, (W-WRD 20/7)]
R&D Projects: GA ČR GBP202/12/G061
Institutional support: RVO:67985807
Keywords : mathematical logic * substructural logic * logic in computer science
Subject RIV: IN - Informatics, Computer Science
http://www.cs.cas.cz/cintula/PSSubLog
Permanent Link: http://hdl.handle.net/11104/0233041