Login / Signup
Combinations of Simplifying Conditional Term Rewriting Systems.
Enno Ohlebusch
Published in:
CTRS (1992)
Keyphrases
</>
term rewriting systems
functional programs
logic programs
random field model
artificial intelligence
relational databases