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
Scopus
https://www.scopus.com/sourceid/25562
https://www.scopus.com/pages/publications/85199029291?inward
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001275042100016
quartile
Q1
category (general)
Mathematics
Computer science
category (sub)
Mathematics. General mathematics
Computer science. Software
keyword
calculus of relations
string diagrams
deep inference
ISSN
1043-6871
ISBN
979-8-4007-0660-8
notes
Bibliogr.: 78 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Laboratory for compositional systems and methods