Modal Logics for Nominal Transition Systems by Tjark Weber π§, Lars-Henrik Eriksson π§, Joachim Parrow π§, Johannes BorgstrΓΆm π§ and Ramunas Gutkovas π§ Oct 25
Kleene Algebras with Domain by Victor B. F. Gomes π, Walter Guttmann π, Peter HΓΆfner π, Georg Struth π and Tjark Weber π Apr 12
Relation Algebra by Alasdair Armstrong, Simon Foster π§, Georg Struth π and Tjark Weber π Jan 25