Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc120402, author = {George Rahonis}, title = {Weighted Muller Tree Automata and Weighted Logics}, journal = jalc, year = 2007, volume = 12, number = 4, pages = {455--483} }