Košík

0508234 - ÚI 2020 NL eng A - Abstrakt
Cintula, Petr
First-order substructural logics.
WoLLIC 2019. Programme. Utrecht: Utrecht University, 2019.
[WoLLIC 2019. International Workshop on Logic, Language, Information and Computation /26./. 02.07.2019-05.07.2019, Utrecht]
Institucionální podpora: RVO:67985807
Klíčová slova: substructural logics
https://wollic2019.sites.uu.nl/wp-content/uploads/sites/455/2019/06/Cintula.pdf
Trvalý link: http://hdl.handle.net/11104/0299200