VSL 2014: VIENNA SUMMER OF LOGIC 2014

Semantically-Guided Goal-Sensitive Theorem Proving

Authors: Maria Paola Bonacina and David Plaisted

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Semantically-Guided Goal-Sensitive Theorem Proving
Authors:Maria Paola Bonacina and David Plaisted
Proceedings:IFIP-WG16 Proceedings (Abstracts)
Editor: Jürgen Giesl
Keywords:model-based reasoning, first-order logic, semantics
Abstract:
Pages:1
Talk:Jul 13 11:30
Paper:
Disclaimer | Powered by EasyChair Smart Program