This tutorial assume familiarity with first order logic, ordinary many (and/or order) sorted algebra, and sometimes OBJ for examples. Without this background, you will not be able to understand hidden algebra. Information on these subjects can be consulted before undertaking the hidden algebra tutorial: Many details and notations are simplified or omitted in these webpages; they are intended to convey the flavor of the mathematics to software practitioners. The technical papers on hidden algebra should be consulted for the technical details:

- "A Hidden Agenda" for complete details.

[Next] [BHome] [Links Home]

12 October 1996