[The University of Leicester]

Department of Mathematics & Computer Science



Next: Language Theory Up: Further work, questions Previous: Kan Extensions and Noncommutative

Orderings on $ \mathsf{P}$-sets

In our paper we put stronger conditions on the ordering than may be necessary. Weaker conditions may or may not have an advantage. The only ordering we have implemented is the standard length-lexicographical. The choice of orderings may be wider than with ordinary rewriting, and this has not been investigated.



[University Home] [MCS Home] [University Index A-Z] [University Search] [University Help]

Author: A. Heyworth, tel: +44 (0)116 252 3884
Last updated: 2000-11-24
MCS Web Maintainer
This document has been approved by the Head of Department.
© University of Leicester.