Semi-substructural logics with additives

autor
Veltri, Niccolo
Wan, Cheng-Syuan
vastutusandmed
Niccolò Veltri, Cheng-Syuan Wan
allikas
Proceedings of the 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 2023
kirjastus/väljaandja
Open Publishing Association
ilmumisaasta
2024
leheküljed
p. 63-80
seeria-sari
Electronic proceedings in theoretical computer science ; 402
konverentsi nimetus, aeg
18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2023, 1-2 July, 2023 & 23rd April 2023
konverentsi toimumispaik
Rome, Italy
Paris, France
leitav
https://doi.org/10.4204/EPTCS.402.8
märksõna
monoidid
lineaaralgebra
diferentsarvutus
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85191660878&origin=resultslist&sort=plf-f&src=s&sot=b&sdt=b&s=TITLE-ABS-KEY%28%22Semi-substructural+logics+with+additives%22%29&sessionSearchId=f53bb18a788748acab088b0e35200e2d&relpos=1
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001313392600006
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
ISSN
2075-2180
märkused
Bibliogr.: 27 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise