Up a level |
Number of items: 3.
Chatterjee, K, Ibsen-Jensen, R ORCID: 0000-0003-4783-0389, Jecker, I and Svoboda, J
(2022)
Complexity of Spatial Games.
.
Guha, S, Jecker, I, Lehtinen, K and Zimmermann, M ORCID: 0000-0002-8038-2453
(2022)
Parikh Automata over Infinite Words.
.
Chatterjee, K, Ibsen-Jensen, R ORCID: 0000-0003-4783-0389, Jecker, I and Svoboda, J
(2020)
Simplified game of life: Algorithms and complexity.
.