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
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85130481250&origin=inward&txGid=fbbef2e423b94d54ce0cf93c3c6a0b2c
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001045096000009
quartile
Q3
category (general)
Computer Science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
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
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory