Bonchi, F., Di Giorgio, A., Haydon, N.J., Sobocinski, P.M.

prindi

Diagrammatic algebra of first order logic : [preprint]

autor

Bonchi, Filippo

Di Giorgio, Alessandro

Haydon, Nathan Joseph

Sobocinski, Pawel Maria

vastutusandmed

Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon, Pawel Sobocinski

allikas

arXiv.org

kirjastus/väljaandja

Cornell University

ilmumisaasta

2024

leheküljed

34 p. : ill

leitav

https://doi.org/10.48550/arXiv.2401.07055

märksõna

loogika

diagrammid

graafiteooria

vormimärksõna

preprindid

võtmesõna

calculus of relations

string diagrams

deep inference

teaduspublikatsioon

klassifikaator

6.7

TTÜ struktuuriüksus

tarkvarateaduse instituut

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