Welcome to the
Links Background Information Home Page

Information is available on the following topics:
  1. First Order Logic;
  2. Hidden Algebra;
  3. General Algebra;
  4. 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