Semi-substructural logics with additives

author
Veltri, Niccolò
Wan, Cheng-Syuan
statement of authorship
Niccolò Veltri, Cheng-Syuan Wan
source
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
publisher
Open Publishing Association
year of publication
2024
pages
p. 63-80
series
Electronic proceedings in theoretical computer science ; 402
conference name, date
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
conference location
Rome, Italy
Paris, France
url
https://doi.org/10.4204/EPTCS.402.8
subject term
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
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
ISSN
2075-2180
notes
Bibliogr.: 27 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise