Semi-substructural logics with additives
author
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
year of publication
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
ISSN
2075-2180
notes
Bibliogr.: 27 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
WOS
quartile
classifier
category (general)
category (sub)
Veltri, N., Wan, C.-S. Semi-substructural logics with additives // 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. : Open Publishing Association, 2024. p. 63-80. (Electronic proceedings in theoretical computer science ; 402).