Items where Author is "Schmidt, Renate A."

Papacchini, Fabio and Schmidt, Renate A. (2014) Terminating Minimal Model Generation Procedures for Propositional Modal Logics. In: Automated Reasoning - 7th International Joint Conference, IJCAR :. Springer, AUT, pp. 381-395. ISBN 9783319085869

Papacchini, Fabio and Schmidt, Renate A. (2013) Computing Minimal Models Modulo Subset-Simulation for Modal Logics. In: Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings :. Springer, Berlin, pp. 279-294. ISBN 9783642408847

Papacchini, Fabio and Schmidt, Renate A. (2011) A Tableau Calculus for Minimal Modal Model Generation. Electronic Notes in Theoretical Computer Science, 278. pp. 159-172. ISSN 1571-0661