Diagrammatic algebra of first order logic
autor
Bonchi, Filippo
Di Giorgio, Alessandro
Haydon, Nathan Joseph
Sobocinski, Pawel Maria
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
ACM
ilmumisaasta
2024
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
leitav
https://doi.org/10.1145/3661814.3662078
märksõna
graafiteooria
diagrammid
loogika
võtmesõna
calculus of relations
string diagrams
deep inference
ISBN
979-8-4007-0660-8
märkused
Bibliogr.: 78 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise