Login / Signup
Computations in Orthogonal Rewriting Systems, II.
Gérard P. Huet
Jean-Jacques Lévy
Published in:
Computational Logic - Essays in Honor of Alan Robinson (1991)
Keyphrases
</>
rewriting systems
rewriting rules
database systems