共 50 条
- [1] Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics ALGEBRAIC FOUNDATIONS IN COMPUTER SCIENCE: ESSAYS DEDICATED TO SYMEON BOZAPALIDIS ON THE OCCASION OF HIS RETIREMENT, 2011, 7020 : 30 - 55
- [4] A Kleene Theorem for Weighted Tree Automata over Tree Valuation Monoids LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS, LATA 2016, 2016, 9618 : 452 - 463
- [8] A Kleene Theorem for Weighted Tree Automata over Distributive Multioperator Monoids Theory of Computing Systems, 2009, 44 : 455 - 499
- [10] Bisimulation Relations for Weighted Automata over Valuation Monoids QUANTITATIVE LOGIC AND SOFT COMPUTING 2016, 2017, 510 : 181 - 191