@inproceedings{conf/lics/AlurDT13,
  added-at = {2023-03-24T00:00:00.000+0100},
  author = {Alur, Rajeev and Durand-Gasselin, Antoine and Trivedi, Ashutosh},
  biburl = {https://www.bibsonomy.org/bibtex/2324c7f9b30529e6e06cbfa059b9598c0/dblp},
  booktitle = {LICS},
  crossref = {conf/lics/2013},
  ee = {http://dl.acm.org/citation.cfm?id=2591388},
  interhash = {590258ec77bc872c19675bad3b953ab5},
  intrahash = {324c7f9b30529e6e06cbfa059b9598c0},
  isbn = {978-1-4799-0413-6},
  keywords = {dblp},
  pages = {458-467},
  publisher = {IEEE Computer Society},
  timestamp = {2024-04-10T20:03:10.000+0200},
  title = {From Monadic Second-Order Definable String Transformations to Transducers.},
  url = {http://dblp.uni-trier.de/db/conf/lics/lics2013.html#AlurDT13},
  year = 2013
}

{"_id":"PPAf5aNTcW6878YkE","bibbaseid":"alur-durandgasselin-trivedi-frommonadicsecondorderdefinablestringtransformationstotransducers-2013","author_short":["Alur, R.","Durand-Gasselin, A.","Trivedi, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-03-24T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Alur"],"firstnames":["Rajeev"],"suffixes":[]},{"propositions":[],"lastnames":["Durand-Gasselin"],"firstnames":["Antoine"],"suffixes":[]},{"propositions":[],"lastnames":["Trivedi"],"firstnames":["Ashutosh"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2324c7f9b30529e6e06cbfa059b9598c0/dblp","booktitle":"LICS","crossref":"conf/lics/2013","ee":"http://dl.acm.org/citation.cfm?id=2591388","interhash":"590258ec77bc872c19675bad3b953ab5","intrahash":"324c7f9b30529e6e06cbfa059b9598c0","isbn":"978-1-4799-0413-6","keywords":"dblp","pages":"458-467","publisher":"IEEE Computer Society","timestamp":"2024-04-10T20:03:10.000+0200","title":"From Monadic Second-Order Definable String Transformations to Transducers.","url":"http://dblp.uni-trier.de/db/conf/lics/lics2013.html#AlurDT13","year":"2013","bibtex":"@inproceedings{conf/lics/AlurDT13,\n added-at = {2023-03-24T00:00:00.000+0100},\n author = {Alur, Rajeev and Durand-Gasselin, Antoine and Trivedi, Ashutosh},\n biburl = {https://www.bibsonomy.org/bibtex/2324c7f9b30529e6e06cbfa059b9598c0/dblp},\n booktitle = {LICS},\n crossref = {conf/lics/2013},\n ee = {http://dl.acm.org/citation.cfm?id=2591388},\n interhash = {590258ec77bc872c19675bad3b953ab5},\n intrahash = {324c7f9b30529e6e06cbfa059b9598c0},\n isbn = {978-1-4799-0413-6},\n keywords = {dblp},\n pages = {458-467},\n publisher = {IEEE Computer Society},\n timestamp = {2024-04-10T20:03:10.000+0200},\n title = {From Monadic Second-Order Definable String Transformations to Transducers.},\n url = {http://dblp.uni-trier.de/db/conf/lics/lics2013.html#AlurDT13},\n year = 2013\n}\n\n","author_short":["Alur, R.","Durand-Gasselin, A.","Trivedi, A."],"key":"conf/lics/AlurDT13","id":"conf/lics/AlurDT13","bibbaseid":"alur-durandgasselin-trivedi-frommonadicsecondorderdefinablestringtransformationstotransducers-2013","role":"author","urls":{"Link":"http://dl.acm.org/citation.cfm?id=2591388","Paper":"http://dblp.uni-trier.de/db/conf/lics/lics2013.html#AlurDT13"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Durand?items=1000","dataSources":["LAXa4X86SbARduyD9"],"keywords":["dblp"],"search_terms":["monadic","second","order","definable","string","transformations","transducers","alur","durand-gasselin","trivedi"],"title":"From Monadic Second-Order Definable String Transformations to Transducers.","year":2013}