License: 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: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/7546/
Go back to Dagstuhl Reports

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:
dagrep_v007_i004_p023_s17142.pdf (3 MB)

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
Collection: Dagstuhl Reports, Volume 7, Issue 4
Issue Date: 2017
Date of publication: 21.12.2017

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI