VSL 2014: VIENNA SUMMER OF LOGIC 2014

Proof Generation for Saturating First-Order Theorem Provers

Authors: Stephan Schulz and Geoff Sutcliffe

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Proof Generation for Saturating First-Order Theorem Provers
Authors:Stephan Schulz and Geoff Sutcliffe
Proceedings:APPA 2014 VSL Proceedings
Editors: Bruno Woltzenlogel Paleo and David Delahaye
Keywords:
Abstract:
Pages:17
Talk:Jul 18 10:45
Paper:
Disclaimer | Powered by EasyChair Smart Program