Diagrammatic algebra of first order logic
author
Bonchi, Filippo
Di Giorgio, Alessandro
Haydon, Nathan Joseph
Sobocinski, Pawel Maria
statement of authorship
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobociński
source
LICS '24 : proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science
location of publication
New York
publisher
ACM
year of publication
2024
pages
art. 16, p. 1-15 : ill
conference name, date
The 39th Annual ACM/IEEE Symposium on Logic in Computer Science, July 8–11, 2024
conference location
Tallinn, Estonia
url
https://doi.org/10.1145/3661814.3662078
subject term
graafiteooria
diagrammid
loogika
keyword
calculus of relations
string diagrams
deep inference
ISBN
979-8-4007-0660-8
notes
Bibliogr.: 78 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise