Browsing by Author Zhao, Yuhang
Showing results 1 to 2 of 2
Publication Date | Title | Author(s) |
---|---|---|
2018 | A Machine-checked Categorial Formalisation of Term Graph Rewriting with Semantics Preservation | Zhao, Yuhang |
Sep-2010 | SOME HIGHLY ACCURATE BASIC LINEAR ALGEBRA SUBROUTINES | Zhao, Yuhang |
Showing results 1 to 2 of 2