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
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
kvartiil
Q1
kategooria (üld)
Mathematics
Computer science
kategooria (alam)
Mathematics. General mathematics
Computer science. Software
võtmesõna
calculus of relations
string diagrams
deep inference
ISSN
1043-6871
ISBN
979-8-4007-0660-8
märkused
Bibliogr.: 78 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor