Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/DagRep.7.4.23
URN: urn:nbn:de:0030-drops-75462
URL: https://drops.dagstuhl.de/opus/volltexte/2017/7546/
Filiot, Emmanuel ; Maneth, Sebastian ; Seidl, Helmut
Weitere Beteiligte (Hrsg. etc.): Emmanuel Filiot and Sebastian Maneth and Helmut Seidl
Formal Methods of Transformations (Dagstuhl Seminar 17142)
| pdf-format: |
|
Abstract
The goal of this Dagstuhl seminar was to gather researchers working on the theory and practice of transformations (also know as transductions) of word and tree structures, which are realised by transducers (automata with outputs). This seminar was motivated by recent advances and breakthrough results, both in the settings of words and trees.
BibTeX - Entry
@Article{filiot_et_al:DR:2017:7546,
author = {Emmanuel Filiot and Sebastian Maneth and Helmut Seidl},
title = {{Formal Methods of Transformations (Dagstuhl Seminar 17142)}},
pages = {23--37},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2017},
volume = {7},
number = {4},
editor = {Emmanuel Filiot and Sebastian Maneth and Helmut Seidl},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2017/7546},
URN = {urn:nbn:de:0030-drops-75462},
doi = {10.4230/DagRep.7.4.23},
annote = {Keywords: string transducers, tree transducers, expressiveness, complexity}
}
| Keywords: | string transducers, tree transducers, expressiveness, complexity | |
| Seminar: | Dagstuhl Reports, Volume 7, Issue 4 | |
| Issue date: | 2017 | |
| Date of publication: | 21.12.2017 |
