Sign in

Faithful (meta-)encodings of programmable strategies into term rewriting systems.

Horatiu CirsteaSergueï LengletPierre-Etienne Moreau
Published in: Log. Methods Comput. Sci. (2017)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • general purpose
  • databases
  • database
  • machine learning
  • meta level
  • programming language
  • orders of magnitude