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

Horatiu Cirstea Sergueï Lenglet Pierre-Etienne Moreau

Published in: CoRR (2017)

Keyphrases

term rewriting systems
logic programs
low cost
functional programs
database
general purpose
incomplete information
non binary