„Tree Transducer“

Suchergebnisse

1.000+ Treffer

• A pumping lemma for output languages of attributed tree transducers
  Kühnemann, Armin ; Vogler, Heiko 1994 Univ., Fak. für Informatik
• Linear Tree Transducers – From Equivalence to Balancedness
  Löbel, Raphaela ; Seidl, Helmut ; Maneth, Sebastian 2020 Universitätsbibliothek der TU München
• Synthesis of transducers from relations on finite words and trees
  Winter, Sarah ; Löding, Christof ; Grädel, Erich ; Puppis, Gabriele 2018 Universitätsbibliothek der RWTH Aachen
• Multioperator Weighted Monadic Datalog
  Stüber, Torsten ; Vogler, Heiko ; Fülöp, Zoltán 2011 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• On Normalization and Type Checking for Tree Transducers
  Friese, Sylvia ; Schulz, Klaus U. ; Seidl, Helmut 2011 Universitätsbibliothek der TU München
• Categorical semantics and composition of tree transducers
  Jürgensen, Claus
• Algebraic Foundations in Computer Science – Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
  Kuich, Werner ; Bozapalidēs, Symeōn ; Rahonis, George 2011 Springer Berlin Heidelberg
• Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers
  Löding, Christof ; Winter, Sarah 2016 Universitätsbibliothek der RWTH Aachen
• Rule extraction for multi bottom-up tree transducers
  Seemann, Nina ; Maletti, Andreas 2016 Universitätsbibliothek der Universität Stuttgart
• Komplexität des typechecking-Problems für Top-down XML-Transformationen
  Neubauer, Johannes ; Schwentick, Thomas 2013 Universitätsbibliothek Dortmund
• Developments in Language Theory – 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
  2014 Springer International Publishing
• Deciding Linear Height and Linear Size-To-Height Increase of Macro Tree Transducers
  Gallot, Paul ; Maneth, Sebastian ; Nakano, Keisuke ; Peyrat, Charles 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Slightly Non-Linear Higher-Order Tree Transducers
  Nguyễn, Lê Thành Dũng (Tito) ; Vanoni, Gabriele 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decision Problems for Origin-Close Top-Down Tree Transducers
  Winter, Sarah 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Linear High-Order Deterministic Tree Transducers with Regular Look-Ahead
  Gallot, Paul D. ; Lemay, Aurélien ; Salvati, Sylvain 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Some Remarks on Deciding Equivalence for Graph-To-Graph Transducers
  Bojańczyk, Mikołaj ; Schmude, Janusz 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• When Is a Bottom-Up Deterministic Tree Translation Top-Down Deterministic?
  Maneth, Sebastian ; Seidl, Helmut 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Reducing Transducer Equivalence to Register Automata Problems Solved by "Hilbert Method"
  Boiret, Adrien ; Piórkowski, Radoslaw ; Schmude, Janusz 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Complexity of Tree Transducer Output Languages
  Inaba, Kazuhiro ; Maneth, Sebastian 2008 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formal Methods of Transformations (Dagstuhl Seminar 17142)
  Filiot, Emmanuel ; Maneth, Sebastian ; Seidl, Helmut