Correctness of Context-Moving Transformations for Term Rewriting Systems.

Koichi Sato Kentaro Kikuchi Takahito Aoto Yoshihito Toyama

Published in: LOPSTR (2015)

Keyphrases

term rewriting systems
logic programs
contextual information
databases
knowledge base
functional programs