Lectures

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