Login / Signup
Transformation of Orthogonal Term Rewriting Systems.
Sugwoo Byun
Richard Kennaway
M. Ronan Sleep
Published in:
ASIAN (1995)
Keyphrases
</>
term rewriting systems
functional programs
logic programs
databases
orthogonal projection