Research Projects
Boldly go to:
Home
Papers
Talks
Relation algebra.
Language algebra.
Nominal Kleene algebra.
Concurrent Kleene algebra.
Bracket Algebra.