Login / Signup
Incremental Techniques for Efficient Normalization of Nonlinear Rewrite Systems.
R. Ramesh
I. V. Ramakrishnan
Published in:
RTA (1991)
Keyphrases
</>
bayesian networks
rewrite systems
information systems
term rewriting
databases
model checking