Adrien Boiret, Raphaela Palenta
Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time
DLT, 2016.
@inproceedings{DLT-2016-BoiretP, author = "Adrien Boiret and Raphaela Palenta", booktitle = "{Proceedings of the 20th International Conference on Developments in Language Theory}", doi = "10.1007/978-3-662-53132-7_29", isbn = "978-3-662-53131-0", pages = "355--367", publisher = "{Springer}", title = "{Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time}", year = 2016, }