|
|
IWIL 2010:Author Index| Author | Papers |
|---|
| A | | Alama, Jesse | Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools | | B | | Blanchette, Jasmin Christian | Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers | | F | | Fiorino, Guido | Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge | | Fuhs, Carsten | Optimizing the AES S-Box using SAT | | K | | Klinov, Pavel | Implementing an Efficient SAT Solver for a Probabilistic Description Logic | | Korp, Martin | On Implementing Modular Complexity Analysis | | P | | Parsia, Bijan | Implementing an Efficient SAT Solver for a Probabilistic Description Logic | | Paulson, Lawrence C. | Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers | | S | | Santoso, Ario | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic | | Schneider-Kamp, Peter | Optimizing the AES S-Box using SAT | | Stefanus, L. Yohanes | A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic | | Z | | Zankl, Harald | On Implementing Modular Complexity Analysis |
|
|
|
