Home | Search | All Publications | Authors | About

BibTeX

@InProceedings{mal13,
  keywords = {tt-in-mt},
  pdf = {https://www.ims.uni-stuttgart.de/~maletti/pub/mal13.pdf},
  author = {Andreas Maletti},
  title = {Hyper-optimization for deterministic tree automata},
  booktitle = {Proc. 18th Int. Conf. Implementation and Application of Automata},
  pages = {244-255},
  editor = {Stavros Konstantinidis},
  volume = 7982,
  series = {LNCS},
  publisher = {Springer},
  year = 2013
}