TalTech publikatsioonid
pealdis Paixão, J., Sobociński, P.
TTÜ struktuuriüksus tarkvarateaduse instituut
maakood ch
keel inglise
autor Paixao, Joao
Sobocinski, Pawel
pealkiri Calculational proofs in relational graphical linear algebra
vastutusandmed João Paixão, Paweł Sobociński
allikas Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings
ilmumiskoht Cham
kirjastus/väljaandja Springer International Publishing AG
ilmumisaasta 2020
leheküljed p. 83-100
seeria-sari Lecture notes in computer science ; 12475
konverentsi nimetus, aeg 23rd Brazilian Symposium : Formal Methods: Foundations and Applications, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020,
konverentsi toimumispaik Ouro Preto
märksõna lineaaralgebra
matemaatilised mudelid
moodulprogrammeerimine
matemaatika
võtmesõna graphical linear algebra
calculational proofs
diagrammatic language
Galois connections
relational mathematics
ISSN 0302-9743
ISBN 978-3-030-63881-8
märkused Bibliogr.: 25 ref
url https://doi.org/10.1007/978-3-030-63882-5_6