next up previous
Next: Accessibility Up: Using Autowrite Previous: Recognizability

Termset

A termset is a set of (not necessarily ground) terms built upon the current signature and set of variables.



Subsections

Irene DURAND
2005-02-01