Proof theory of skew non-commutative MILL
autor
Uustalu, Tarmo
Veltri, Niccolo
Wan, Cheng-Syuan
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
Open Publishing Association
ilmumisaasta
2022
leheküljed
p. 118-135
seeria-sari
Electronic proceedings in theoretical computer science ; 358
konverentsi nimetus, aeg
10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 2022
konverentsi toimumispaik
Lodz, Poland
leitav
https://doi.org/10.4204/EPTCS.358.9
märksõna
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
kvartiil
Q3
kategooria (üld)
Computer Science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
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
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium