IWIL-2015:Author Index

AuthorPapers
A
Ahmed, WaqarTowards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving
Atindehou, Mêton MêtonA Method to Simplify Expressions: Intuition and Preliminary Experimental Results
B
Biere, ArminClausal Proof Compression
Blanco, RobertoDefining the meaning of TPTP formatted proofs
Bury, GuillaumeImplementing Polymorphism in Zenon
C
Cauderlier, RaphaëlImplementing Polymorphism in Zenon
H
Halmagrand, PierreImplementing Polymorphism in Zenon
Hasan, OsmanTowards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving
Heule, MarijnClausal Proof Compression
K
Kaliszyk, CezaryImproving Statistical Linguistic Algorithms for Parsing Mathematics
L
Le Charlier, BaudouinA Method to Simplify Expressions: Intuition and Preliminary Experimental Results
Leino, RustanWell-founded Functions and Extreme Predicates in Dafny: A Tutorial
Li, Chu MinOn Reducing Clause DataBase in Glucose
Libal, TomerDefining the meaning of TPTP formatted proofs
M
Miller, DaleDefining the meaning of TPTP formatted proofs
P
Protzenko, JonathanFunctional Pearl: the Proof Search Monad
S
Schulz, StephanThe Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps
Sutcliffe, GeoffThe Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps
T
Tahar, SofieneTowards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving
U
Urban, JosefImproving Statistical Linguistic Algorithms for Parsing Mathematics
Experiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry
V
Veroff, RobertExperiments with State-of-the-art Automated Provers on Problems in Tarskian Geometry
Vyskocil, JiriImproving Statistical Linguistic Algorithms for Parsing Mathematics
X
Xiao, FanOn Reducing Clause DataBase in Glucose
Xu, RuchuOn Reducing Clause DataBase in Glucose