FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Miriam Polzer
List of publications:
BibTeX-Download
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Publications
(3)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store (2020)
Polzer M, Goncharov S
Conference contribution
Negative Translations and Normal Modality (2017)
Litak T, Polzer M, Rabenstein U
Conference contribution, Original article
Ontological Modelling of a Psychiatric Clinical Practice Guideline (2017)
Gorin D, Meyn M, Naumann A, Polzer M, Rabenstein U, Schröder L
Conference contribution, Original article