Login / Signup
Left-linear Right-ground Term Rewrite Systems and Ground Term Rewrite Systems.
Sándor Vágvölgyi
Published in:
Bull. EATCS (2004)
Keyphrases
</>
term rewrite systems
rewrite rules
definite clause