full record print

Diagrammatic algebra of first order logic

author
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
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
ISSN
1043-6871
ISBN
979-8-4007-0660-8
notes
Bibliogr.: 78 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
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. https://doi.org/10.1145/3661814.3662078