@article{Grabolle:EPTCS:2021,
doi = {10.4204/eptcs.346.16},
url = {https://doi.org/10.4204%2Feptcs.346.16},
year = {2021},
month = {sep},
publisher = {Open Publishing Association},
volume = {346},
pages = {241--257},
author = {Gustav Grabolle},
title = {A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings},
journal = {Electronic Proceedings in Theoretical Computer Science}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A