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
ISBN
979-8-4007-0660-8
märkused
Bibliogr.: 78 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
klassifikaator
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.