Miriam Polzer

According to our database, Miriam Polzer authored at least 3 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store.

Miriam Polzer, Sergey Goncharov

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2017

Negative Translations and Normal Modality.

Tadeusz Litak, Miriam Polzer, Ulrich Rabenstein

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Ontological Modelling of a Psychiatric Clinical Practice Guideline.

Daniel Gorín, Malte Meyn, Alexander Naumann, Miriam Polzer, Ulrich Rabenstein, Lutz Schröder

Proceedings of the KI 2017: Advances in Artificial Intelligence, 2017