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