Erik Parmann

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 2

Top Topics

Perfect Information

Formal Definitions

Top Venues

J. Log. Comput.

Publications

Erik Parmann, Thomas Ågotnes
Reasoning about strategic voting in modal logic quickly becomes undecidable. J. Log. Comput. 31 (4) (2021)
Marc Bezem, Thierry Coquand, Keiko Nakata, Erik Parmann
Realizability at Work: Separating Two Constructive Notions of Finiteness. TYPES (2016)
Marc Bezem, Thierry Coquand, Erik Parmann
Non-Constructivity in Kan Simplicial Sets. TLCA (2015)
Erik Parmann
Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation. TYPES (2015)
Erik Parmann
Investigating Streamless Sets. TYPES (2014)
Truls Pedersen, Sjur K. Dyrkolbotn, Piotr Kazmierczak, Erik Parmann
Concurrent Game Structures with Roles SR (2013)
Sjur K. Dyrkolbotn, Piotr Kazmierczak, Erik Parmann, Truls Pedersen
No big deal: introducing roles to reduce the size of ATL models CoRR (2012)