Up a level |
Number of items: 2.
Chatterjee, K, Ibsen-Jensen, R ORCID: 0000-0003-4783-0389, Jecker, I and Svoboda, J
(2020)
Simplified game of life: Algorithms and complexity.
.
Hofman, Piotr, Lasota, Slawomir, Mayr, Richard and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2016)
Simulation Problems Over One-Counter Nets.
Logical Methods in Computer Science, 12 (1).
p. 1.