A link between multioperator and tree valuation automata and logics.

Thu, 01 Jan 2015 00:00:00 +0100

Markus Teichmann, Johannes Osterholzer:
A link between multioperator and tree valuation automata and logics. Theor. Comput. Sci. 594: 106-119 (2015)