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},
  year      = {2016},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}