Diagrammatic algebra of first order logic : [preprint]
statement of authorship
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
source
publisher
year of publication
pages
34 p. : ill
scientific publication
teaduspublikatsioon
language
inglise
subject term
subject of form
classifier
TTÜ department
Bonchi, F., Di Giorgio, A., Haydon, N.J., Sobocinski, P.M. Diagrammatic algebra of first order logic : [preprint] // arXiv.org (2024), 34 p. : ill.