Vampire17:Author Index

Author	Papers
B
Bjorner, Nikolaj	Theorem recycling for Theorem Proving
G
Grewe, Sylvia	Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
M
Mezini, Mira	Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
N
Nachmanson, Lev	Theorem recycling for Theorem Proving
P
Pacak, André	Using Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
R
Reger, Giles	Local proofs and AVATAR Incremental Solving with Vampire Revisiting Question Answering in Vampire
Robillard, Simon	An Inference Rule for the Acyclicity Property of Term Algebras
S
Schulz, Stephan	Light-Weight Integration of SAT Solving into First-Order Reasoners – First Experiments
Suda, Martin	Local proofs and AVATAR Incremental Solving with Vampire