Go up to B Changes in Future Versions
Go forward to B.2 Library Numbers
B.1 Library Orders
We will add specifications for the concepts
- similarity relation,
- equivalence relation and
- preorder.
CoFI
Note: L-12 -- Version: 0.3 -- November 1999.
Comments to cofi@informatik.uni-bremen.de