Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations

October 17, 2017 in by

by Christof Löding, Sarah Winter
Reference:
Christof Löding, Sarah Winter. Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations. In Proceedings of the 5th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF’14), pages 88-101. Volume 161 of Electronic Proceedings in Theoretical Computer Science. August 2014.
Bibtex Entry:
@string{aug="August"}
@inproceedings{LW-gandalf14,
  address =       {Verona, Italy},
  author =        {L{"o}ding, Christof and Winter, Sarah},
  booktitle =     {{P}roceedings of the 5th {I}nternational {S}ymposium
                   on {G}ames, {A}utomata, {L}ogics, and {F}ormal
                   {V}erification ({GandALF}'14)},
  editor =        {Peron, Adriano and Piazza, Carla},
  month =         aug,
  pages =         {88-101},
  series =        {Electronic Proceedings in Theoretical Computer
                   Science},
  title =         {Synthesis of Deterministic Top-down Tree Transducers
                   from Automatic Tree Relations},
  volume =        {161},
  year =          {2014},
  doi =           {10.4204/EPTCS.161.10},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  LW-gandalf14.pdf},
  category =      {conf},
  wps =           {wp1},
  partners =      {RWTH},
  casstingpart =  {50},
}