Next:
An ordering on
Up:
Theory and more details
Previous:
Example of discovering
Formal descriptions of pure lex and multigraded lex
An ordering on
Formal description of pure lex
Formal description of multigraded lex
Helton
Wed Jul 3 10:27:42 PDT 1996