Basket

0508286 - ÚI 2020 AT eng A - Abstract
Bonzio, S. - Moraschini, Tommaso - Pra Baldi, M.
Logics of variable inclusion.
SYSMICS 2018. Second Workshop - Contributions. Vienna: University of Vienna, 2018.
[SYSMICS 2018: Workshop. Substructural logics: semantics, proof theory, and applications. /2./. 26.02.2018-28.02.2018, Vienna]
Institutional support: RVO:67985807
https://sysmics.logic.at/accepted/_left/SYSMICS-W2_abstract_8.pdf
Permanent Link: http://hdl.handle.net/11104/0299240