Browsing by Author Kahl, Wolfram
Showing results 12 to 20 of 20
< previous
Publication Date | Title | Author(s) |
---|---|---|
2018 | A Machine-checked Categorial Formalisation of Term Graph Rewriting with Semantics Preservation | Zhao, Yuhang |
Jun-2015 | A Mechanisation of Internal Galois Connections In Order Theory Formalised Without Meets | Al-hassy, Musa |
2021 | Parallel Windowed Method for Scalar Multiplication in Elliptic Curve Cryptography | Bouman, Tanya |
Sep-2008 | Proofs of Relational Semigroupoids in Isabelle/Isar | Han, Jinrong |
2017 | (Re-)Creating sharing in Agda's GHC backend | Perna, Natalie |
2021 | Type-Safe Modeling for Optimization | Thai, Nhan |
Oct-2012 | Type-Safety for Inverse Imaging Problems | Moghadas, Maryam |
Sep-2007 | Verification of Haskell Type Classes | Wang, Feng |
Oct-2011 | Verifying Permutation Rewritable Hazard Free Loops | Dobrogost, Michal |
Showing results 12 to 20 of 20
< previous