Jay Parlar
Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting
Authors:
Description:
Shows how to build algebraic specifications which require non-determinism. Good for comps.
Published
2006-10-30Discovered
2006-10-30Tags:
algebraic_specification, comps
What should go into the right column, when I already have links in the left column?
Subscribe to Jay's blog
