Login / Signup
Using Rewriting Systems to Compute Left Kan Extensions and Induced Actions of Categories.
Ronald Brown
Anne Heyworth
Published in:
J. Symb. Comput. (2000)
Keyphrases
</>
rewriting systems
rewriting rules
search engine