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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2012}}
Papers
@inproceedings{IWIL2010:Three_years_experience_with,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/wV},
doi = {10.29007/36dt},
pages = {1-11},
year = {2012}}
@inproceedings{IWIL2010:Exploring_Steinitz_Rademacher_Polyhedra,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/KmBd},
doi = {10.29007/d3ls},
pages = {12-16},
year = {2012}}
@inproceedings{IWIL2010:Tableau_Calculus_Dummett_Logic,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/BmZ},
doi = {10.29007/dhz5},
pages = {17-32},
year = {2012}}
@inproceedings{IWIL2010:Prolog_based_Proof_Tool,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/6thS},
doi = {10.29007/8ttk},
pages = {33-41},
year = {2012}}
@inproceedings{IWIL2010:Implementing_Modular_Complexity_Analysis,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/1Pwb},
doi = {10.29007/zm9s},
pages = {42-47},
year = {2012}}
@inproceedings{IWIL2010:Implementing_Efficient_SAT_Solver,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/t1},
doi = {10.29007/wm7w},
pages = {48-63},
year = {2012}}
@inproceedings{IWIL2010:Optimizing_AES_S_Box,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/},
doi = {10.29007/h5s4},
pages = {64-70},
year = {2012}}