Lectures
- 1/27 Course Roadmap
- 1/28 Axioms of Kleene Algebra
- 2/2 Alternative Axiomatizations
- 2/2 Characterizing the Equational Theory
- 2/9 Completeness of Star-Continuity
- 2/9 Relations Among Algebras
- 2/16 Equational Theory of Kleene Algebra
- 2/16 Finite Automata
- 2/23 Completeness
- 3/1 Complexity of the Equational Theory
- 3/1 Equational Implications
- 3/8 Kleene Algebra with Tests
- 3/15 Models of KAT
- 3/15 KAT and Hoare Logic
- 3/29 Completeness of KAT
- 3/29 Completeness of KAT for Hoare theory of REL
- 4/12 Complexity of KAT
- 4/19 Automata on Guarded Strings
- 4/26 Completeness and Complexity of PHL (see also Links & Handouts)
- 5/3 Applications (see also Links & Handouts)