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
teaduspublikatsioon
klassifikaator
6.7
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise