HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

IWIL 2010: Author Index

AuthorPapers
A
Alama, JesseExploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
B
Blanchette, Jasmin ChristianThree years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers
F
Fiorino, GuidoTableau Calculus for Dummett Logic Based on Present and Next State of Knowledge
Fuhs, CarstenOptimizing the AES S-Box using SAT
K
Klinov, PavelImplementing an Efficient SAT Solver for a Probabilistic Description Logic
Korp, MartinOn Implementing Modular Complexity Analysis
P
Parsia, BijanImplementing 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, ArioA Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
Schneider-Kamp, PeterOptimizing the AES S-Box using SAT
Stefanus, L. YohanesA Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
Z
Zankl, HaraldOn Implementing Modular Complexity Analysis
Copyright © 2012-2025 easychair.org. All rights reserved.