Next:
Generalities
Up:
Autowrite: User's Guide (Still
Previous:
Termsets
Using Autowrite
Subsections
Generalities
File Menu
Trs Menu
Left-linearity
Overlappingness
Orthogonality
Normal and external normal forms
Forward-branching
Approx Trs Menu
Changing the current approximation
Membership to CBN
Preservation of the set of normalizable terms
Arbitraryness
Term Menu
Redex positions
Needed redex positions
Normalizability
Recognizability
Termset
Accessibility
Termset automaton
Reduction and Needed Reduction
Classical reduction
Needed reduction
TRS Automata
Automata
Automaton
Irene DURAND
2005-02-01
