Erik Parmann
From MaRDI portal
Person:3383490
Available identifiers
zbMath Open parmann.erikMaRDI QIDQ3383490
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Reasoning about strategic voting in modal logic quickly becomes undecidable | 2021-09-24 | Paper |
| Concurrent game structures with roles | 2021-05-06 | Paper |
| Functional Kan simplicial sets: non-constructivity of exponentiation | 2018-08-13 | Paper |
| Non-constructivity in Kan simplicial sets | 2017-07-12 | Paper |
| Investigating streamless sets | 2017-07-12 | Paper |
Research outcomes over time
This page was built for person: Erik Parmann
