Login / Signup
Polygraphs for termination of left-linear term rewriting systems
Yves Guiraud
Published in:
CoRR (2007)
Keyphrases
</>
term rewriting systems
functional programs
logic programs
data streams
rough sets
data types
term rewriting