Paper: First-order definability of rational transductions: An algebraic approach (at LICS 2016)
Authors: Emmanuel Filiot Olivier Gauwin Nathan Lhote
Abstract
No Abstract Available
BibTeX
@InProceedings{FiliotGauwinLhote-Firstorderdefinabil, author = {Emmanuel Filiot and Olivier Gauwin and Nathan Lhote}, title = {First-order definability of rational transductions: An algebraic approach}, booktitle = {Proceedings of the Thirty first Annual IEEE Symposium on Logic in Computer Science (LICS 2016)}, year = {2016}, month = {July}, pages = {387--396}, location = {New York City}, publisher = {IEEE Computer Society Press} }