Tjark Weber

Homepages 🌐

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

E-Mails 📧

• es.uu.ti @rebew.krajt

Entries

2024

Broadcast Psi-calculi

by Palle Raabjerg 📧, Johannes Åman Pohjola 📧 and Tjark Weber 📧

Mar 27

Verified QBF Solving

by Axel Bergström 📧 and Tjark Weber 📧

Mar 06

2016

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

2014

Relation Algebra

by Alasdair Armstrong, Simon Foster 📧, Georg Struth 🌐 and Tjark Weber 🌐

Jan 25

2013

Kleene Algebra

by Alasdair Armstrong, Georg Struth 🌐 and Tjark Weber 🌐

Jan 15