Home | Search | All Publications | Authors | About

BibTeX

@InProceedings{jezmal12,
  keywords = {tt-in-mt},
  pdf = {https://www.ims.uni-stuttgart.de/~maletti/pub/jezmal12.pdf},
  author = {Artur Jez and Andreas Maletti},
  title = {Hyper-minimization for deterministic tree automata},
  booktitle = {Proc. 17th Int. Conf. Implementation and Application
               of Automata},
  pages = {217-228},
  editor = {Nelma Moreira and Rogério Reis},
  volume = 7381,
  series = {LNCS},
  publisher = {Springer},
  year = 2012
}