Sign in
Right-linear half-monadic term rewrite systems.
Sándor Vágvölgyi
Published in:
Theor. Comput. Sci. (2003)
Keyphrases
</>
term rewrite systems
deductive databases
databases