Next:
Left-linearity
Up:
Using Autowrite
Previous:
File Menu
Trs Menu
This menu gathers all commands related to the current TRS or to the left-handsides of the current TRS.
Subsections
Left-linearity
Overlappingness
Orthogonality
Normal and external normal forms
Forward-branching
Irene DURAND
2005-02-01
