Tjark Weber

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

2016

Modal Logics for Nominal Transition Systems
by Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström and Ramunas Gutkovas

25 Oct

Kleene Algebras with Domain
by Victor B. F. Gomes, Walter Guttmann, Peter Höfner, Georg Struth and Tjark Weber

12 Apr

2014

Relation Algebra
by Alasdair Armstrong, Simon Foster, Georg Struth and Tjark Weber

25 Jan

2013

Kleene Algebra
by Alasdair Armstrong, Georg Struth and Tjark Weber

15 Jan