Tree Transducers and Formal Methods (Dagstuhl Seminar 13192)

Authors Sebastian Maneth, Helmut Seidl and all authors of the abstracts in this report



PDF
Thumbnail PDF

File

DagRep.3.5.1.pdf
  • Filesize: 0.83 MB
  • 18 pages

Document Identifiers

Author Details

Sebastian Maneth
Helmut Seidl
and all authors of the abstracts in this report

Cite AsGet BibTex

Sebastian Maneth and Helmut Seidl. Tree Transducers and Formal Methods (Dagstuhl Seminar 13192). In Dagstuhl Reports, Volume 3, Issue 5, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
https://doi.org/10.4230/DagRep.3.5.1

Abstract

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.
Keywords
  • tree transducers
  • expressiveness
  • complexity

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail