Diagrammatic algebra of first order logic
vastutusandmed
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobociński
allikas
LICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
ilmumiskoht
New York
kirjastus/väljaandja
ilmumisaasta
leheküljed
art. 16, p. 1-15 : ill
konverentsi nimetus, aeg
The 39th Annual ACM/IEEE Symposium on Logic in Computer Science, July 8–11, 2024
konverentsi toimumispaik
Tallinn, Estonia
ISSN
1043-6871
ISBN
979-8-4007-0660-8
märkused
Bibliogr.: 78 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
WOS
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
Bonchi, F., Di Giorgio, A., Haydon, N., Sobocinski, P. Diagrammatic algebra of first order logic // LICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. New York : ACM, 2024. art. 16, p. 1-15 : ill.