Login / Signup
Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching.
Thierry Boy de la Tour
Ricardo Caferra
Published in:
AAAI (1987)
Keyphrases
</>
pattern matching
matching strategy
interactive theorem proving
matching process
pattern matching algorithm
data sets
pairwise
database systems
object recognition
suffix tree
string matching
approximate pattern matching