High-level axioms for graphical linear algebra
Paixao, Joao
;
Rufino, Lucas
;
Sobocinski, Pawel Maria
Science of computer programming
2022
/
art. 102791 ; 26 p
https://doi.org/10.1016/j.scico.2022.102791
https://www.scopus.com/sourceid/28416
https://www.scopus.com/record/display.uri?eid=2-s2.0-85126314085&origin=inward&txGid=70be018e057f8e10f8de93f04c1f3d9d
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SCI%20COMPUT%20PROGRAM&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000793563300005