Sign in
A general approach to define binders using matching logic.
Xiaohong Chen
Grigore Rosu
Published in:
Proc. ACM Program. Lang. (2020)
Keyphrases
</>
special case
image matching
closely related
pattern matching
learning algorithm
knowledge base
case study
pairwise
logic programming
template matching
modal logic
shape matching
feature matching
classical logic