|
|
Vampire 2017. Proceedings of the 4th Vampire Workshop7 articles•74 pages•Published: June 29, 2018 PapersPages 1-8 | Pages 9-19 | Pages 20-32 | Pages 33-41 | Pages 42-51 | Pages 52-63 | Pages 64-74 |
Keyphrasesacyclicity, automated theorem proving2, Avatar, inference rule, Interpolants, local proofs, Question Answering, SMT solving, soundness proofs of type systems, superposition, term algebra, theorem proving2, Vampire3 |
|
|