next up previous contents
Next: An ordering on Up: Theory and more details Previous: Example of discovering

Formal descriptions of pure lex and multigraded lex





Helton
Wed Jul 3 10:27:42 PDT 1996