Publications
Filters: Author is Renate A. Schmidt [Clear All Filters]
“Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings”, FroCoS, vol. 8152. 2013.
, “Tableaux for Relation-Changing Modal Logics”, in Frontiers of Combining Systems, 2013.
frocos13.pdf (369.18 KB)
frocos13.pdf (369.18 KB)
