VOLUME 12 | 2007 | NUMBER 4 |
Weighted Muller Tree Automata and Weighted Logics
Pages 455–483
Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2007-455, author = {George Rahonis}, title = {Weighted {M}uller Tree Automata and Weighted Logics}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {12}, number = {4}, pages = {455--483}, year = {2007}, url = {https://doi.org/10.25596/jalc-2007-455}, doi = {10.25596/jalc-2007-455} }