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

Vampire 2016: Author Index

AuthorPapers
C
Chen, YutingTheory-Specific Reasoning about Loops with Arrays using Vampire
E
Erdweg, SebastianAutomating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
G
Grewe, SylviaAutomating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
K
Kovács, LauraTheory-Specific Reasoning about Loops with Arrays using Vampire
L
Lucio, PaquiEvaluating Automated Theorem Provers Using Adimen-SUMO
M
Mezini, MiraAutomating Proof Steps of Progress Proofs: Comparing Vampire and Dafny
R
Reger, GilesBetter Proof Output for Vampire
Global Subsumption Revisited (Briefly)
Reynolds, AndrewConflicts, Models and Heuristics for Quantifier Instantiation in SMT
Rigau, GermanEvaluating Automated Theorem Provers Using Adimen-SUMO
Robillard, SimonTheory-Specific Reasoning about Loops with Arrays using Vampire
S
Suda, MartinGlobal Subsumption Revisited (Briefly)
Á
Álvez, JavierEvaluating Automated Theorem Provers Using Adimen-SUMO
Copyright © 2012-2025 easychair.org. All rights reserved.