FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Some thoughts about FOL-translations in Vampire

Author: Giles Reger

Paper Information

Title:Some thoughts about FOL-translations in Vampire
Authors:Giles Reger
Proceedings:ARQNL Full papers, demo papers and invited contributions
Editors: Christoph Benzmüller and Jens Otten
Keywords:
Abstract:
Pages:1
Paper: