next up previous
Next: Classical reduction Up: Using Autowrite Previous: Termset automaton

Reduction and Needed Reduction

The Reduction menu contains choices for reducing the current term.

Subsections

Irene DURAND
2005-02-01