Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)

Sebastian Maneth, Helmut Seidl

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

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.
Original languageEnglish
Pages (from-to)1-18
Number of pages18
JournalDagstuhl Reports
Issue number5
Publication statusPublished - 2013


Dive into the research topics of 'Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)'. Together they form a unique fingerprint.

Cite this