Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

International Workshop on First-Order Theorem Proving

Known as: FTP (disambiguation) 
The International Workshop on First-Order Theorem Proving (FTP) is a scientific meeting of researchers interested in automated theorem proving for… Expand
Wikipedia

Related topics

Related topics

4 relations
Automated theorem provingFirst-order logicInternational Joint Conference on Automated ReasoningResearch Institute for Symbolic Computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
On the verification of security-aware E-services
Web services providing E-commerce capabilities to support business transactions over the Internet are more and more widespread… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Review
2012
Review
2012
First-order theorem proving: Foreword
This special issue of the Journal of Symbolic Computation is dedicated to first-order theorem proving, and was initiated after… Expand
Review
2011
Review
2011
Preface: Special Issue of Selected Extended Papers of IJCAR 2010
This special issue of the Journal of Automated Reasoning contains extended and revised versions of six selected papers presented… Expand
2010
2010
Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009
  • FTP
  • 2010
    • Corpus ID: 53282969
 
2003
2003
A case study in the meta-reasoning procedure ND
A new technique for improving the efficiency of propositional reasoning procedures is presented. The meta-search procedure, ND… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE