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
-
Try and log in through your institution to see if they have access to the full text.
Log in through your library




