Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
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
Copyright © 2012-2023 easychair.org. All rights reserved.