VOLUME 12 2007 NUMBER 4

Special Issue with Papers on Topics of the Workshop on Weighted Automata: Theory and Applications (WATA 2006)

Manfred Droste, Heiko Vogler:
Editorial433–433
Zoltán Ésik, Werner Kuich:
A Semiring-Semimodule Generalization of Transducers and Abstract ω-Families of Power Series435–454
George Rahonis:
Weighted Muller Tree Automata and Weighted Logics455–483
Sibylle Schwarz:
Łukasiewicz Logic and Weighted Logics over MV-Semirings485–499
Cătălin Ionuţ Tîrnăucă, Cristina Tîrnăucă:
Learning Regular Tree Languages from Correction and Equivalence Queries501–524
German Tischler:
On Computability and Some Decision Problems of Parametric Weighted Finite Automata525–544
Johannes Waldmann:
Weighted Automata for Proving Termination of String Rewriting545–570