Calculational proofs in relational graphical linear algebra
statement of authorship
João Paixão, Paweł Sobociński
source
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings
location of publication
Cham
publisher
year of publication
pages
p. 83-100
series
Lecture notes in computer science ; 12475
conference name, date
23rd Brazilian Symposium : Formal Methods: Foundations and Applications, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020,
conference location
Ouro Preto
ISSN
0302-9743
ISBN
978-3-030-63881-8
notes
Bibliogr.: 25 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
keyword
graphical linear algebra
calculational proofs
diagrammatic language
Galois connections
relational mathematics
category (general)
Reserch Group
Paixao, J., Sobocinski, P.M. Calculational proofs in relational graphical linear algebra // Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings. Cham : Springer, 2020. p. 83-100. (Lecture notes in computer science ; 12475).