Next:
Classical reduction
Up:
Using Autowrite
Previous:
Termset automaton
Reduction and Needed Reduction
The
Reduction
menu contains choices for reducing the current term.
Subsections
Classical reduction
Needed reduction
Irene DURAND
2005-02-01