Erik Parmann

According to our database, Erik Parmann authored at least 7 papers between 2012 and 2021.

Collaborative distances:

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

2021

Reasoning about strategic voting in modal logic quickly becomes undecidable.

Erik Parmann, Thomas Ågotnes

J. Log. Comput., 2021

2016

Realizability at Work: Separating Two Constructive Notions of Finiteness.

Marc Bezem, Thierry Coquand, Keiko Nakata, Erik Parmann

Proceedings of the 22nd International Conference on Types for Proofs and Programs, 2016

2015

Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation.

Erik Parmann

Proceedings of the 21st International Conference on Types for Proofs and Programs, 2015

Non-Constructivity in Kan Simplicial Sets.

Marc Bezem, Thierry Coquand, Erik Parmann

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

2014

Investigating Streamless Sets.

Erik Parmann

Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014

2013

Concurrent Game Structures with Roles

Truls Pedersen, Sjur K. Dyrkolbotn, Piotr Kazmierczak, Erik Parmann

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

2012

No big deal: introducing roles to reduce the size of ATL models

Sjur K. Dyrkolbotn, Piotr Kazmierczak, Erik Parmann, Truls Pedersen

CoRR, 2012