LATPub483: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
(kein Unterschied)
| |
Aktuelle Version vom 25. März 2015, 16:34 Uhr
The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices
Karsten LehmannKarsten Lehmann, Rafael PeñalozaRafael Peñaloza
Karsten Lehmann, Rafael Peñaloza
The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices
In Heiko Vogler and Manfred Droste, eds., Proceedings of the 6th International Workshop Weighted Automata: Theory and Applications (WATA'12), 2012
The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices
In Heiko Vogler and Manfred Droste, eds., Proceedings of the 6th International Workshop Weighted Automata: Theory and Applications (WATA'12), 2012
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ LePe12,
author = {Karsten {Lehmann} and Rafael {Pe{\~n}aloza}},
booktitle = {Proceedings of the 6th International Workshop Weighted Automata: Theory and Applications ({WATA'12})},
editor = {Heiko {Vogler} and Manfred {Droste}},
title = {The Complexity of Computing the Behaviour of Weighted B{\"u}chi Automata over Lattices},
year = {2012},
}
