IWIL2015:Author IndexAuthor  Papers 

A  Ahmed, Waqar  Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving  Atindehou, Mêton Mêton  A Method to Simplify Expressions: Intuition and Preliminary Experimental Results  B  Biere, Armin  Clausal Proof Compression  Blanco, Roberto  Defining the meaning of TPTP formatted proofs  Bury, Guillaume  Implementing Polymorphism in Zenon  C  Cauderlier, Raphaël  Implementing Polymorphism in Zenon  H  Halmagrand, Pierre  Implementing Polymorphism in Zenon  Hasan, Osman  Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving  Heule, Marijn  Clausal Proof Compression  K  Kaliszyk, Cezary  Improving Statistical Linguistic Algorithms for Parsing Mathematics  L  Le Charlier, Baudouin  A Method to Simplify Expressions: Intuition and Preliminary Experimental Results  Leino, Rustan  Wellfounded Functions and Extreme Predicates in Dafny: A Tutorial  Li, Chu Min  On Reducing Clause DataBase in Glucose  Libal, Tomer  Defining the meaning of TPTP formatted proofs  M  Miller, Dale  Defining the meaning of TPTP formatted proofs  P  Protzenko, Jonathan  Functional Pearl: the Proof Search Monad  S  Schulz, Stephan  The Thousands of Models for Theorem Provers (TMTP) Model Library  First Steps  Sutcliffe, Geoff  The Thousands of Models for Theorem Provers (TMTP) Model Library  First Steps  T  Tahar, Sofiene  Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving  U  Urban, Josef  Improving Statistical Linguistic Algorithms for Parsing Mathematics Experiments with Stateoftheart Automated Provers on Problems in Tarskian Geometry  V  Veroff, Robert  Experiments with Stateoftheart Automated Provers on Problems in Tarskian Geometry  Vyskocil, Jiri  Improving Statistical Linguistic Algorithms for Parsing Mathematics  X  Xiao, Fan  On Reducing Clause DataBase in Glucose  Xu, Ruchu  On Reducing Clause DataBase in Glucose 

