@article{BokerLehtinen:LMCS:2023,
title = {Token Games and History-Deterministic Quantitative-Automata},
volume = {Volume 19, Issue 4},
issn = {1860-5974},
url = {http://dx.doi.org/10.46298/lmcs-19(4:8)2023},
doi = {10.46298/lmcs-19(4:8)2023},
journal = {Logical Methods in Computer Science},
publisher = {Centre pour la Communication Scientifique Directe (CCSD)},
author = {Boker, Udi and Lehtinen, Karoliina},
year = {2023},
month = {nov}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A