Login / Signup
Weakly commuting term rewriting systems : application to automatic recursion removal.
Ernesto Jorge Costa
Published in:
ECAI (1982)
Keyphrases
</>
term rewriting systems
database
fully automatic
neural network
semi automatic
artificial intelligence