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},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
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},
pages = {1--14},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Rj},
doi = {10.29007/6l77}}
@inproceedings{IWIL-2015:Implementing_Polymorphism_in_Zenon,
author = {Guillaume Bury and Rapha\textbackslash{}"el 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},
pages = {15--20},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/mH},
doi = {10.29007/87vl}}
@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},
pages = {21--26},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/fgBF},
doi = {10.29007/sgpl}}
@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},
pages = {27--36},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/8B6L},
doi = {10.29007/8c2m}}
@inproceedings{IWIL-2015:Method_to_Simplify_Expressions,
author = {Baudouin Le Charlier and M\textbackslash{}\textasciicircum{}eton M\textbackslash{}\textasciicircum{}eton 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},
pages = {37--51},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/m97},
doi = {10.29007/jv63}}
@inproceedings{IWIL-2015:Well_founded_Functions_and_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},
pages = {52--66},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/vHsB},
doi = {10.29007/v2m3}}
@inproceedings{IWIL-2015:On_Reducing_Clause_DataBase,
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},
pages = {67--77},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/zpPk},
doi = {10.29007/b8kb}}
@inproceedings{IWIL-2015:Defining_meaning_of_TPTP,
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},
pages = {78--90},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TLc2},
doi = {10.29007/xtc2}}
@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},
pages = {91--105},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/HzFg},
doi = {10.29007/cfdq}}
@inproceedings{IWIL-2015:Thousands_of_Models_for,
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},
pages = {106--121},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/V3},
doi = {10.29007/7dg5}}
@inproceedings{IWIL-2015:Experiments_with_State_of_the_art_Automated,
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},
pages = {122--126},
year = {2016},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/nfXC},
doi = {10.29007/pqh1}}