Login / Signup
Determinization of conditional term rewriting systems.
Masanori Nagashima
Masahiko Sakai
Toshiki Sakabe
Published in:
Theor. Comput. Sci. (2012)
Keyphrases
</>
term rewriting systems
logic programs
functional programs
random field model
databases
functional language