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: | |
Editorial | 433–433 |
Zoltán Ésik, Werner Kuich: | |
A Semiring-Semimodule Generalization of Transducers and Abstract ω-Families of Power Series | 435–454 |
George Rahonis: | |
Weighted Muller Tree Automata and Weighted Logics | 455–483 |
Sibylle Schwarz: | |
Łukasiewicz Logic and Weighted Logics over MV-Semirings | 485–499 |
Cătălin Ionuţ Tîrnăucă, Cristina Tîrnăucă: | |
Learning Regular Tree Languages from Correction and Equivalence Queries | 501–524 |
German Tischler: | |
On Computability and Some Decision Problems of Parametric Weighted Finite Automata | 525–544 |
Johannes Waldmann: | |
Weighted Automata for Proving Termination of String Rewriting | 545–570 |