Published in: LIPIcs, Volume 80, 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)
Luc Dartois, Paulin Fournier, Ismaël Jecker, and Nathan Lhote. On Reversible Transducers. In 44th International Colloquium on Automata, Languages, and Programming (ICALP 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 80, pp. 113:1-113:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{dartois_et_al:LIPIcs.ICALP.2017.113, author = {Dartois, Luc and Fournier, Paulin and Jecker, Isma\"{e}l and Lhote, Nathan}, title = {{On Reversible Transducers}}, booktitle = {44th International Colloquium on Automata, Languages, and Programming (ICALP 2017)}, pages = {113:1--113:12}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-041-5}, ISSN = {1868-8969}, year = {2017}, volume = {80}, editor = {Chatzigiannakis, Ioannis and Indyk, Piotr and Kuhn, Fabian and Muscholl, Anca}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2017.113}, URN = {urn:nbn:de:0030-drops-74491}, doi = {10.4230/LIPIcs.ICALP.2017.113}, annote = {Keywords: Transducers, reversibility, two-way, uniformization} }
Published in: LIPIcs, Volume 41, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Olivier Carton and Luc Dartois. Aperiodic Two-way Transducers and FO-Transductions. In 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 41, pp. 160-174, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@InProceedings{carton_et_al:LIPIcs.CSL.2015.160, author = {Carton, Olivier and Dartois, Luc}, title = {{Aperiodic Two-way Transducers and FO-Transductions}}, booktitle = {24th EACSL Annual Conference on Computer Science Logic (CSL 2015)}, pages = {160--174}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-90-3}, ISSN = {1868-8969}, year = {2015}, volume = {41}, editor = {Kreutzer, Stephan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2015.160}, URN = {urn:nbn:de:0030-drops-54133}, doi = {10.4230/LIPIcs.CSL.2015.160}, annote = {Keywords: Transducer, first-order, two-way, transition monoid, aperiodic} }
Published in: LIPIcs, Volume 20, 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013)
Luc Dartois and Charles Paperman. Two-variable first order logic with modular predicates over words. In 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 20, pp. 329-340, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@InProceedings{dartois_et_al:LIPIcs.STACS.2013.329, author = {Dartois, Luc and Paperman, Charles}, title = {{Two-variable first order logic with modular predicates over words}}, booktitle = {30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013)}, pages = {329--340}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-50-7}, ISSN = {1868-8969}, year = {2013}, volume = {20}, editor = {Portier, Natacha and Wilke, Thomas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2013.329}, URN = {urn:nbn:de:0030-drops-39450}, doi = {10.4230/LIPIcs.STACS.2013.329}, annote = {Keywords: First order logic, automata theory, semigroup, modular predicates} }
Feedback for Dagstuhl Publishing