Tamio-Vesa Nakajima
发表
Stanislav Živný,
Tamio-Vesa Nakajima,
2022,
ICALP.
Stanislav Živný,
Tamio-Vesa Nakajima,
2022,
ICALP.
Stanislav Živný,
Tamio-Vesa Nakajima,
2023,
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Tamio-Vesa Nakajima,
Stanislav ˇZivn´y,
Stanislav vZivn'y,
2022,
2210.03343.
Tamio-Vesa Nakajima,
Marek Filakovsk'y,
Jakub Oprsal,
2023,
ArXiv.
A. Krokhin,
M. Kozik,
Stanislav Živný,
2023,
ArXiv.
Tamio-Vesa Nakajima,
Stanislav vZivn'y,
2023,
2311.00440.