Browsing by Author Soltys, Michael
Showing results 1 to 7 of 7
Publication Date | Title | Author(s) |
---|---|---|
31-Mar-2008 | Computing Winning Strategies for Poset Games | Wilson, Craig |
Oct-2013 | Formalizing Combinatorial Matrix Theory | Fernandez, Ariel German G. |
2016 | A Generalization of Square-free Strings | Mhaskar, Neerja |
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 1 to 7 of 7