|
|
IWIL-2015: 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 | Well-founded 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 State-of-the-art Automated Provers on Problems in Tarskian Geometry | V | Veroff, Robert | Experiments with State-of-the-art 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 |
|
|
|