Diagrammatic algebra of first order logic
vastutusandmed
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
allikas
kirjastus/väljaandja
ilmumisaasta
leheküljed
34 p. : ill
märksõna
võtmesõna
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
Bonchi, F., Di Giorgio, A., Haydon, N.J., Sobocinski, P.M. Diagrammatic algebra of first order logic // arXiv.org (2024), 34 p. : ill. https://doi.org/10.48550/arXiv.2401.07055