„tree languages“

Suchergebnisse

1.000+ Treffer

• Idempotent tree languages
  Denecke, Klaus ; Sarasit, N. ; Wismath, S. L.
• Characterizations of recognizable weighted tree languages by logic and bimorphisms
  Fülöp, Zoltán ; Vogler, Heiko
• On Invariant Formulae of First-Order Logic with Numerical Predicates
  Harwath, Frederik ; Schweikardt, Nicole ; Kreutzer, Stephan ; Segoufin, Luc 2018 Humboldt-Universität zu Berlin
• A pumping lemma for output languages of attributed tree transducers
  Kühnemann, Armin ; Vogler, Heiko 1994 Univ., Fak. für Informatik
• Defending levels by trading waves for trees
  Craver, Carl F.
• Verified Analysis of Random Binary Tree Structures
  Eberl, Manuel ; Haslbeck, Max W. ; Nipkow, Tobias
• Automata Theory and Logic
  Lange, Martin 2025 Springer Vieweg
• The PROIEL treebank family: a standard for early attestations of Indo-European languages
  Eckhoff, Hanne ; Bech, Kristin ; Bouma, Gerlof ; Eide, Kristine ; Haug, Dag ; Haugen, Odd Einar ; Jøhndal, Marius
• Generative and Computational Power of Combinatory Categorial Grammar
  Schiffer, Lena Katharina ; Maletti, Andreas ; Steedman, Mark 2024 Universitätsbibliothek Leipzig
• Weighing in on the HOM-Problem – A Study of Weighted Tree Automata and Homomorphisms
  Nász, Andreea-Teodora 2024 Universitätsbibliothek Leipzig
• Tree-Structured Problems and Parallel Computation
  Ludwig, Michael ; Lange, Klaus-Jörn 2019 Universitätsbibliothek Tübingen
• Automata Theory and Logic
  Hofmann, Martin ; Lange, Martin 2025 Springer Berlin Heidelberg, Imprint: Springer Vieweg
• Well-Formed and Scalable Invasive Software Composition
  Karol, Sven ; Aßmann, Uwe ; Löwe, Welf 2015 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Implementation of web query languages reconsidered – beyond tree and single-language algebras at (almost) no cost
  Furche, Tim
• Expressivity and decidability of first-order languages over feature trees
  Backofen, Rolf
• 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
• Implementation and Application of Automata – 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers
  Domaratzki, Michael ; Salomaa, Kai 2011 Springer Berlin Heidelberg
• Current Trends in Web Engineering – 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers
  Daniel, Florian ; Facca, Federico Michele 2010 Springer Berlin Heidelberg
• The Digital Rosetta Stone – textual alignment and linguistic annotation
  Berti, Monica ; Jushaninowa, Julia ; Naether, Franziska ; Celano, Giuseppe G. A. ; Yordanova, Polina 2016 Universitätsbibliothek Leipzig
• Regular tree languages, cardinality predicates, and addition-invariant FO
  Harwath, Frederik ; Schweikardt, Nicole 2011 Universitätsbibliothek Johann Christian Senckenberg