täiskirje prindi

Diagrammatic algebra of first order logic : [preprint]

autor
vastutusandmed
Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski
allikas
kirjastus/väljaandja
ilmumisaasta
leheküljed
34 p. : ill
leitav
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
Bonchi, F., Di Giorgio, A., Haydon, N.J., Sobocinski, P.M. Diagrammatic algebra of first order logic : [preprint] // arXiv.org (2024), 34 p. : ill. https://doi.org/10.48550/arXiv.2401.07055