Login / Signup

Determinization of conditional term rewriting systems.

Masanori NagashimaMasahiko SakaiToshiki Sakabe
Published in: Theor. Comput. Sci. (2012)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • random field model
  • databases
  • functional language