On Equivalence and Uniformisation Problems for Finite Transducers

October 17, 2017 in by

by Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter
Reference:
Emmanuel Filiot, Ismaël Jecker, Christof Löding, Sarah Winter. On Equivalence and Uniformisation Problems for Finite Transducers. In Proceedings of the 43rd International Colloquium on Automata, Languages and Programming (ICALP’16). Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik, July 2016. (To appear)
Bibtex Entry:
@string{jul="July"}
@inproceedings{FJLW-icalp16,
  author =        {Filiot, Emmanuel and Jecker, Isma{"{e}}l and
                   L{"o}ding, Christof and Winter, Sarah},
  booktitle =     {{P}roceedings of the 43rd {I}nternational
                   {C}olloquium on {A}utomata, {L}anguages and
                   {P}rogramming ({ICALP}'16)},
  month =         jul,
  note =          {To~appear},
  publisher =     {Leibniz-Zentrum f{"u}r Informatik},
  series =        {Leibniz International Proceedings in Informatics},
  title =         {On Equivalence and Uniformisation Problems for Finite
                   Transducers},
  year =          {2016},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  FJLW-icalp16.pdf},
  category =      {conf},
  wps =           {wp1},
  partners =      {RWTH and ULB},
  casstingpart =  {100},
}