Home | Search | All Publications | Authors | About

BibTeX

@InProceedings{malque11c,
  keywords = {tt-in-mt},
  pdf = {https://www.ims.uni-stuttgart.de/~maletti/pub/malque11c.pdf},
  url = {https://dx.doi.org/10.1007/978-3-642-22993-0_42},
  publisher = {(c) Springer-Verlag},
  author = {Andreas Maletti and Daniel Quernheim},
  title = {Pushing for weighted tree automata},
  booktitle = {Proc. 36th Int. Conf. Mathematical Foundations of
Computer Science},
  pages = {460-471},
  editor = {Filip Murlak and Piotr Sankowski},
  volume = 6907,
  series = {LNCS},
  year = 2011
}