Proof theory of skew non-commutative MILL
vastutusandmed
Tarmo Uustalu, Niccol`o Veltri, Cheng-Syuan Wan
allikas
Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 118-135
konverentsi nimetus, aeg
10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
konverentsi toimumispaik
Lodz, Poland
ISSN
2075-2180
märkused
Bibliogr.: 28 ref
Special issue: 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022Lodz14 March 2022through 18 March 2022
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
WOS
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
Uurimisrühm
Uustalu, T., Veltri, N., Wan, C.-S. Proof theory of skew non-commutative MILL // Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022. : Open Publishing Association, 2022. p. 118-135. (Electronic proceedings in theoretical computer science ; 358).