Tjark Weber

 

Website: http://user.it.uu.se/~tjawe125/

 

Entries

2016

October 25: Modal Logics for Nominal Transition Systems

April 12: Kleene Algebras with Domain

 

2014

January 25: Relation Algebra

 

2013

January 15: Kleene Algebra