Lars-Henrik Eriksson

Modal Logics for Nominal Transition Systems

by Tjark Weber 📧, Lars-Henrik Eriksson 📧, Joachim Parrow 📧, Johannes Borgström 📧 and Ramunas Gutkovas 📧