IWIL-2015: BibTeX Entries

Volume

@proceedings{IWIL-2015,
  title     = {IWIL-2015. 11th International Workshop on the Implementation of Logics},
  editor    = {Boris Konev and Stephan Schulz and Laurent Simon},
  series    = {EPiC Series in Computing},
  volume    = {40},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  year      = {2016}}

Papers

@inproceedings{IWIL-2015:Towards_Formal_Reliability_Analysis,
  author    = {Waqar Ahmed and Osman Hasan and Sofiene Tahar},
  title     = {Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving},
  booktitle = {IWIL-2015. 11th International Workshop on the Implementation of Logics},
  editor    = {Boris Konev and Stephan Schulz and Laurent Simon},
  series    = {EPiC Series in Computing},
  volume    = {40},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Rj},
  doi       = {10.29007/6l77},
  pages     = {1-14},
  year      = {2016}}


@inproceedings{IWIL-2015:Implementing_Polymorphism_Zenon,
  author    = {Guillaume Bury and Raphaël Cauderlier and Pierre Halmagrand},
  title     = {Implementing Polymorphism in Zenon},
  booktitle = {IWIL-2015. 11th International Workshop on the Implementation of Logics},
  editor    = {Boris Konev and Stephan Schulz and Laurent Simon},
  series    = {EPiC Series in Computing},
  volume    = {40},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/mH},
  doi       = {10.29007/87vl},
  pages     = {15-20},
  year      = {2016}}


@inproceedings{IWIL-2015:Clausal_Proof_Compression,
  author    = {Marijn Heule and Armin Biere},
  title     = {Clausal Proof Compression},
  booktitle = {IWIL-2015. 11th International Workshop on the Implementation of Logics},
  editor    = {Boris Konev and Stephan Schulz and Laurent Simon},
  series    = {EPiC Series in Computing},
  volume    = {40},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/fgBF},
  doi       = {10.29007/sgpl},
  pages     = {21-26},
  year      = {2016}}


@inproceedings{IWIL-2015:Improving_Statistical_Linguistic_Algorithms,
  author    = {Cezary Kaliszyk and Josef Urban and Jiri Vyskocil},
  title     = {Improving Statistical Linguistic Algorithms for Parsing Mathematics },
  booktitle = {IWIL-2015. 11th International Workshop on the Implementation of Logics},
  editor    = {Boris Konev and Stephan Schulz and Laurent Simon},
  series    = {EPiC Series in Computing},
  volume    = {40},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/8B6L},
  doi       = {10.29007/8c2m},
  pages     = {27-36},
  year      = {2016}}


@inproceedings{IWIL-2015:Method_Simplify_Expressions_Intuition,
  author    = {Baudouin Le Charlier and Mêton Mêton Atindehou},
  title     = {A Method to Simplify Expressions: Intuition and Preliminary Experimental Results},
  booktitle = {IWIL-2015. 11th International Workshop on the Implementation of Logics},
  editor    = {Boris Konev and Stephan Schulz and Laurent Simon},
  series    = {EPiC Series in Computing},
  volume    = {40},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/m97},
  doi       = {10.29007/jv63},
  pages     = {37-51},
  year      = {2016}}


@inproceedings{IWIL-2015:Well_founded_Functions_Extreme,
  author    = {Rustan Leino},
  title     = {Well-founded Functions and Extreme Predicates in Dafny: A Tutorial},
  booktitle = {IWIL-2015. 11th International Workshop on the Implementation of Logics},
  editor    = {Boris Konev and Stephan Schulz and Laurent Simon},
  series    = {EPiC Series in Computing},
  volume    = {40},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/vHsB},
  doi       = {10.29007/v2m3},
  pages     = {52-66},
  year      = {2016}}


@inproceedings{IWIL-2015:Reducing_Clause_DataBase_Glucose,
  author    = {Chu Min Li and Fan Xiao and Ruchu Xu},
  title     = {On Reducing Clause DataBase in Glucose},
  booktitle = {IWIL-2015. 11th International Workshop on the Implementation of Logics},
  editor    = {Boris Konev and Stephan Schulz and Laurent Simon},
  series    = {EPiC Series in Computing},
  volume    = {40},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/zpPk},
  doi       = {10.29007/b8kb},
  pages     = {67-77},
  year      = {2016}}


@inproceedings{IWIL-2015:Defining_meaning_TPTP_formatted,
  author    = {Roberto Blanco and Tomer Libal and Dale Miller},
  title     = {Defining the meaning of TPTP formatted proofs},
  booktitle = {IWIL-2015. 11th International Workshop on the Implementation of Logics},
  editor    = {Boris Konev and Stephan Schulz and Laurent Simon},
  series    = {EPiC Series in Computing},
  volume    = {40},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/TLc2},
  doi       = {10.29007/xtc2},
  pages     = {78-90},
  year      = {2016}}


@inproceedings{IWIL-2015:Functional_Pearl_Proof_Search,
  author    = {Jonathan Protzenko},
  title     = {Functional Pearl: the Proof Search Monad},
  booktitle = {IWIL-2015. 11th International Workshop on the Implementation of Logics},
  editor    = {Boris Konev and Stephan Schulz and Laurent Simon},
  series    = {EPiC Series in Computing},
  volume    = {40},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/HzFg},
  doi       = {10.29007/cfdq},
  pages     = {91-105},
  year      = {2016}}


@inproceedings{IWIL-2015:Thousands_Models_Theorem_Provers,
  author    = {Geoff Sutcliffe and Stephan Schulz},
  title     = {The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps},
  booktitle = {IWIL-2015. 11th International Workshop on the Implementation of Logics},
  editor    = {Boris Konev and Stephan Schulz and Laurent Simon},
  series    = {EPiC Series in Computing},
  volume    = {40},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/V3},
  doi       = {10.29007/7dg5},
  pages     = {106-121},
  year      = {2016}}


@inproceedings{IWIL-2015:Experiments_with_State_art,
  author    = {Josef Urban and Robert Veroff},
  title     = {Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry},
  booktitle = {IWIL-2015. 11th International Workshop on the Implementation of Logics},
  editor    = {Boris Konev and Stephan Schulz and Laurent Simon},
  series    = {EPiC Series in Computing},
  volume    = {40},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/nfXC},
  doi       = {10.29007/pqh1},
  pages     = {122-126},
  year      = {2016}}