Document Preview Unavailable

Modal Logics for Nominal Transition Systems

Parrow, Joachim; Borgström, Johannes; Eriksson, Lars-Henrik; Ramūnas Forsberg Gutkovas; Weber, Tjark.  arXiv.org, Jan 27, 2021.

You might have access to this document