HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

Vampire17: Author Index

AuthorPapers
B
Bjorner, NikolajTheorem recycling for Theorem Proving
G
Grewe, SylviaUsing Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
M
Mezini, MiraUsing Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
N
Nachmanson, LevTheorem recycling for Theorem Proving
P
Pacak, AndréUsing Vampire with Support for Algebraic Datatypes in Type Soundness Proofs
R
Reger, GilesLocal proofs and AVATAR
Incremental Solving with Vampire
Revisiting Question Answering in Vampire
Robillard, SimonAn Inference Rule for the Acyclicity Property of Term Algebras
S
Schulz, StephanLight-Weight Integration of SAT Solving into First-Order Reasoners – First Experiments
Suda, MartinLocal proofs and AVATAR
Incremental Solving with Vampire
Copyright © 2012-2025 easychair.org. All rights reserved.