Welcome to the
Links
Background Information Home Page
Information is available on the following topics:
- First Order Logic;
- Hidden Algebra;
- General Algebra;
- OBJ.
Short tutorials are available on the first two topics. Many details and
notations have been simplified or omitted, since they are intended to convey
the flavor of the mathematics to software practitioners. The more technical
sources cited on each tutorial's home page should be consulted for details.
Some familiarity with the second two topics is assumed by the first two; no
tutorial is provided on OBJ, but only references to relevant literature, some
of which is on-line. As for general algebra, only two particular topics are
discussed; references to the literature are given for the rest.
[Demos Home] [Links Home]
12 October 1996