Login / Signup

Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems.

R. RameshI. V. Ramakrishnan
Published in: RTA (1991)
Keyphrases
  • bayesian networks
  • rewrite systems
  • information systems
  • term rewriting
  • databases
  • model checking