FAQ

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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1994-2011
0119942011

Related topics

Related topics

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

Related mentions per year

Related mentions per year

1941-2018
19401960198020002020
International Workshop on First-Order Theorem Proving
Automated theorem proving
First-order logic
International Joint Conference on Automated Reasoning
Research Institute for Symbolic Computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
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… (More)
Is this relevant?
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… (More)
Is this relevant?
2009
2009
A Fast Collocation Method for Eigen-Problems of Weakly Singular Integral Operators
A multiscale collocation method is developed for solving the eigen-problem of weakly singular integral operators. We employ a… (More)
  • table 1
  • table 2
Is this relevant?
Review
2007
Review
2007
of the 6 th International Workshop on First-Order Theorem Proving
Many problems in computer science can be reduced to proving the satisfiability of conjunctions of literals w.r.t. a background… (More)
  • figure 5
  • figure 6
  • figure 7
  • figure 8
  • figure 9
Is this relevant?
2005
2005
FTP 2005 Fifth International Workshop on First-Order Theorem Proving
For first-order Horn clauses without equality, resolution is complete with an arbitrary selection of a single literal in each… (More)
  • figure 1
  • figure 2
  • table 1
  • table 2
  • figure 1
Is this relevant?
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… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Review
1994
Review
1994
A simple railroad controller: A case study in real-time specification using MOSCA
A selection of these reports is available in PostScript form at the Faculty's anonymous ftp-MOSCA is an experimental language… (More)
Is this relevant?