Login / Signup
Mechanizing Matching Logic in Coq.
Péter Bereczky
Xiaohong Chen
Dániel Horpácsi
Tamás Bálint Mizsei
Lucas Peña
Jan Tusil
Published in:
CoRR (2022)
Keyphrases
</>
matching algorithm
pattern matching
image matching
modal logic
graph matching
database
matching process
logic programming
keypoints
classical logic
learning algorithm
feature matching
formal methods
defeasible logic
nonmonotonic logics