Diagrammatic algebra of first order logic
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
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
ISBN
979-8-4007-0660-8
notes
Bibliogr.: 78 ref
scientific publication
teaduspublikatsioon
TalTech department
language
inglise
subject term
classifier
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.