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