Volume
@proceedings{IWIL2010,
title = {IWIL 2010. The 8th International Workshop on the Implementation of Logics},
editor = {Geoff Sutcliffe and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {2},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{IWIL2010:Three_years_of_experience,
author = {Lawrence C. Paulson and Jasmin Christian Blanchette},
title = {Three years of experience with Sledgehammer, a Practical Link Between Automatic and Interactive Theorem Provers},
booktitle = {IWIL 2010. The 8th International Workshop on the Implementation of Logics},
editor = {Geoff Sutcliffe and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {2},
pages = {1--11},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/wV},
doi = {10.29007/36dt}}
@inproceedings{IWIL2010:Exploring_Steinitz_Rademacher_Polyhedra_Challenge,
author = {Jesse Alama},
title = {Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools},
booktitle = {IWIL 2010. The 8th International Workshop on the Implementation of Logics},
editor = {Geoff Sutcliffe and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {2},
pages = {12--16},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/KmBd},
doi = {10.29007/d3ls}}
@inproceedings{IWIL2010:Tableau_Calculus_for_Dummett,
author = {Guido Fiorino},
title = {Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge},
booktitle = {IWIL 2010. The 8th International Workshop on the Implementation of Logics},
editor = {Geoff Sutcliffe and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {2},
pages = {17--32},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/BmZ},
doi = {10.29007/dhz5}}
@inproceedings{IWIL2010:Prolog_based_Proof_Tool_for,
author = {L. Yohanes Stefanus and Ario Santoso},
title = {A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic},
booktitle = {IWIL 2010. The 8th International Workshop on the Implementation of Logics},
editor = {Geoff Sutcliffe and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {2},
pages = {33--41},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6thS},
doi = {10.29007/8ttk}}
@inproceedings{IWIL2010:On_Implementing_Modular_Complexity,
author = {Harald Zankl and Martin Korp},
title = {On Implementing Modular Complexity Analysis},
booktitle = {IWIL 2010. The 8th International Workshop on the Implementation of Logics},
editor = {Geoff Sutcliffe and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {2},
pages = {42--47},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/1Pwb},
doi = {10.29007/zm9s}}
@inproceedings{IWIL2010:Implementing_an_Efficient_SAT,
author = {Pavel Klinov and Bijan Parsia},
title = {Implementing an Efficient SAT Solver for a Probabilistic Description Logic},
booktitle = {IWIL 2010. The 8th International Workshop on the Implementation of Logics},
editor = {Geoff Sutcliffe and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {2},
pages = {48--63},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/t1},
doi = {10.29007/wm7w}}
@inproceedings{IWIL2010:Optimizing_AES_S_Box_using,
author = {Carsten Fuhs and Peter Schneider-Kamp},
title = {Optimizing the AES S-Box using SAT},
booktitle = {IWIL 2010. The 8th International Workshop on the Implementation of Logics},
editor = {Geoff Sutcliffe and Stephan Schulz and Eugenia Ternovska},
series = {EPiC Series in Computing},
volume = {2},
pages = {64--70},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/},
doi = {10.29007/h5s4}}