Semi-substructural logics with additives
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
ilmumisaasta
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
ISSN
2075-2180
märkused
Bibliogr.: 27 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
kategooria (üld)
kategooria (alam)
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).