Next: Properties of Networks
Up: No Title
Previous: Structured Predicate Construction
Our analysis methods, like those of design, can be summarised as operations
on logical expressions. We recap on these below.
Dave Stuart Robertson
Tue Jul 7 10:13:45 BST 1998