IWIL 2010:BibTeX Entries

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}}