VAMPIRE 2019: THE 6TH VAMPIRE WORKSHOP
Overview
Paper Submission
Important Dates
Program Committee
Invited Speaker
Dinner
Registration
Venue
PROGRAM
AUTHORS
KEYWORDS
SLIDES
SLIDES
Hints for AVATAR
Martin Suda
Induction in Saturation-Based Proof Search
Giles Reger
and
Andrei Voronkov
Total: 2 presentations.
Disclaimer
|
Powered by EasyChair Smart Program
