Research Projects

Boldly go to:

Home

Papers

Talks

	Relation algebra.
	Language algebra.
	Nominal Kleene algebra.
	Concurrent Kleene algebra.
	Bracket Algebra.