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
kvartiil
category (general)
keyword
graphical linear algebra
calculational proofs
diagrammatic language
Galois connections
relational mathematics
ISSN
0302-9743
ISBN
978-3-030-63881-8
notes
Bibliogr.: 25 ref
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
inglise
Uurimisrühm
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 International Publishing AG, 2020. p. 83-100. (Lecture notes in computer science ; 12475).