Lectures

  1. 1/22/02 Course intro, some classes of models
  2. 1/24/02 Axioms of Kleene algebra
  3. 1/29/02 Alternative axiomatizations
  4. 2/5/02 Characterizing the equational theory
  5. 2/7/02 Completeness of star-continuity
  6. 2/12/02 Relations among algebras
  7. 2/14/02 Completeness of KA
  8. 2/19/02 Completeness of KA, continued
  9. 2/21/02 Completeness of KA, continued
  10. 2/26/02 Complexity of the equational theory
  11. 2/28/02 Equational implications and Cohen's theorem
  12. 3/5/02 no class
  13. 3/7/02 commutative Kleene algebra
  14. 3/12/02 Completeness of commutative KA (Conway pp. 91-95)
  15. 3/14/02 Completeness of commutative KA, cont. (Conway pp. 91-95)
  16. 3/26/02 Parikh's theorem in commutative KA
  17. 3/28/02 Parikh's theorem in commutative KA, cont.
  18. 4/2/02 Formal series in noncommuting variables (Berstel/Reutenauer pp. 4-13)
  19. 4/4/02 Schutzenberger's theorem (Berstel/Reutenauer pp. 13-16)
  20. 4/9/02 Kleene algebra with tests
  21. 4/11/02 KAT and Hoare logic
  22. 4/16/02 Models of KAT
  23. 4/16/02 Completeness of KAT
  24. 4/18/02 Completeness of KAT for the Hoare theory
  25. 4/23/02 Complexity of KAT
  26. 4/25/02 Complexity of PHL
  27. 4/30/02 Complexity of Reasoning under Assumptions
  28. 5/2/02 Pi-1-1-Completeness of the Horn Theory of KA*