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.3.5.1
URN: urn:nbn:de:0030-drops-41769
Go back to Dagstuhl Reports

Maneth, Sebastian ; Seidl, Helmut
Weitere Beteiligte (Hrsg. etc.): Sebastian Maneth and Helmut Seidl

Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)

dagrep_v003_i005_p001_s13192.pdf (0.8 MB)


The aim of this Dagstuhl Seminar was to bring together researchers from various research areas related to the theory and application of tree transducers. Recently, interest in tree transducers has been revived due to surprising new applications in areas such as XML databases, security verification, programming language theory, and linguistics. This seminar therefore aimed to inspire the exchange of theoretical results and information regarding the practical requirements related to tree transducers.

BibTeX - Entry

  author =	{Sebastian Maneth and Helmut Seidl},
  title =	{{Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)}},
  pages =	{1--18},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{3},
  number =	{5},
  editor =	{Sebastian Maneth and Helmut Seidl},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-41769},
  doi =		{10.4230/DagRep.3.5.1},
  annote =	{Keywords: tree transducers, expressiveness, complexity}

Keywords: tree transducers, expressiveness, complexity
Collection: Dagstuhl Reports, Volume 3, Issue 5
Issue Date: 2013
Date of publication: 30.08.2013

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