Browsing by Author Soltys, Michael
Showing results 4 to 7 of 7
< previous
Publication Date | Title | Author(s) |
---|---|---|
Oct-2013 | A Proof of Concept for Homomorphically Evaluating an Encrypted Assembly Language | Rakas, Dragan |
Feb-2006 | A Propositional Proof System with Permutation Quantifiers | Paterson, Tim |
Feb-2009 | Unambiguous Functions in Logarithmic Space | Herman, Grzegorz |
Oct-2011 | Verifying Permutation Rewritable Hazard Free Loops | Dobrogost, Michal |
Showing results 4 to 7 of 7
< previous