Sign in

A general approach to define binders using matching logic.

Xiaohong ChenGrigore 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