Modal Logics for Nominal Transition Systems

From MaRDI portal


MaRDI QIDQ7361898FDO


Authors Tjark Weber, Lars-Henrik Eriksson, Joachim Parrow, Johannes Borgström, Ramunas Gutkovas

Publication date 25 October 2016



Cites work





This page was built for software: Modal Logics for Nominal Transition Systems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Modal_Logics_for_Nominal_Transition_Systems&oldid=105370124"
Powered by MediaWiki