Foundations of Finite Symbolic Tree Transducers - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Margus Veanes, Nikolaj Bjørner. Foundations of Finite Symbolic Tree Transducers. Bulletin of the EATCS, 105:141-173, 2011. [doi]

@article{VeanesB11-0,
  title = {Foundations of Finite Symbolic Tree Transducers},
  author = {Margus Veanes and Nikolaj Bjørner},
  year = {2011},
  url = {http://albcom.lsi.upc.edu/ojs/index.php/beatcs/article/view/101},
  researchr = {https://researchr.org/publication/VeanesB11-0},
  cites = {0},
  citedby = {0},
  journal = {Bulletin of the EATCS},
  volume = {105},
  pages = {141-173},
}

runs on WebDSL