Login / Signup

Regular Patterns in Second-Order Unification.

Tomer Libal
Published in: CADE (2015)
Keyphrases
  • regular patterns
  • higher order
  • function symbols
  • pattern languages
  • transactional databases
  • artificial intelligence
  • data management