Proof theory of skew non-commutative MILL
author
Uustalu, Tarmo
Veltri, Niccolo
Wan, Cheng-Syuan
statement of authorship
Tarmo Uustalu, Niccol`o Veltri, Cheng-Syuan Wan
source
Proceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
publisher
Open Publishing Association
year of publication
2022
pages
p. 118-135
series
Electronic proceedings in theoretical computer science ; 358
conference name, date
10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
conference location
Lodz, Poland
url
https://doi.org/10.4204/EPTCS.358.9
subject term
kategooriad (matemaatika)
loogika
arvutusmeetodid
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Article at WOS
kvartiil
Q3
category (general)
Computer Science
en
Arvutiteadus
et
category (sub)
Computer science. Software
en
Arvutiteadus. Tarkvara
et
ISSN
2075-2180
notes
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
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory