Maximally multi-focused proofs for skew non-commutative MILL
autor
vastutusandmed
Niccolò Veltri
allikas
Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 377-393
seeria-sari
Lecture notes in computer science ; 13923
konverentsi nimetus, aeg
29th Workshop on Logic, Language, Information and Computation, WoLLIC 2023, 11-14 July 2023
konverentsi toimumispaik
Halifax, Canada
ISSN
0302-9743
ISBN
978-303139783-7
märkused
Lecture Notes in Computer Science (Including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Bibliogr.: 20 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
võtmesõna
maximal multi-focusing
skew monoidal closed categories
skew non-commutative MILL
kategooria (üld)
kategooria (alam)
Veltri, N. Maximally multi-focused proofs for skew non-commutative MILL // Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings. Cham : Springer, 2023. p. 377-393. (Lecture notes in computer science ; 13923).