What's New
| 05/03/05 | The notes for today's and last Thursday's lecture [Tin04,Gan04] have been posted. |
| 04/12/05 | The notes for today's lecture [Bar04d] have been posted. |
| 04/07/05 | The notes for today's lecture [Bar04c] have been posted. |
| 04/05/05 | The final version of the [Tin-QE] notes has been posted. |
| 03/24/05 | An initial version of the notes for today's lecture [Tin-QE] has been posted. |
| 03/10/05 | The notes for today's lecture [Tin-Sho] have been posted. |
| 03/03/05 | The notes for today's lecture [Oli04b] have been posted. |
| 03/01/05 | The notes for today's lecture [Oli04a] have been posted. |
| 02/23/05 | Links to the notes on Abstract Congruence Closure [Tiw04a,Tiw04b] have been added. |
| 02/22/05 | The notes on rewriting [TinRew1] have been updated with a section on completion. |
| 02/10/05 | The first set of notes on rewriting has been added to the Readings section [TinRew1]. |
| 02/10/05 | The note set [TinEq1] has been reloaded with some typos fixed. |
| 02/01/05 | The first set of notes on equality has been added to the Readings section [TinEq1]. |
| 01/20/05 | The Logs section, usually updated after each class, contains a brief synopsis of each lecture, and the relevant readings. Check that out that regularly too. |
| 01/18/05 |
Welcome to the 22c:295 web site!
Please check this section on a regular basis for announcements, or for updates to the other sections of the site. |
Last Updated: May 3, 2004