Login / Signup
A Formal Model to Prove Instantiation Termination for E-matching-Based Axiomatisations (Extended Version).
Rui Ge
Ronald Garcia
Alexander J. Summers
Published in:
CoRR (2024)
Keyphrases
</>
formal model
security properties
feature points
image matching
graph matching
matching algorithm
formal models
predicate calculus
probabilistic knowledge
pattern matching
matching scheme
neural network
business process
shape matching
matching process
security patterns