Login / Signup

Narrowing-based simulation of term rewriting systems with extra variables.

Naoki NishidaMasahiko SakaiToshiki Sakabe
Published in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
  • term rewriting systems
  • simulation model
  • functional programs
  • logic programs
  • variable selection
  • random variables
  • mathematical model