@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}
}

@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 badge