Image de couverture de livre

Some Remarks on First-Order Definable Tree Languages

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Blumensath, Achim
Format:	Preprint
Publié:	2024
Sujets:	Formal Languages and Automata Theory
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The Expansion Problem for Infinite Trees
par: Blumensath, Achim
Publié: (2023)

The Power-Set Construction for Tree Algebras
par: Blumensath, Achim
Publié: (2022)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
par: Pshenitsyn, Tikhon
Publié: (2025)

Some Remarks on Palindromic Periodicities
par: Fici, Gabriele, et autres
Publié: (2024)

Resynchronized Uniformization and Definability Problems for Rational Relations
par: Löding, Christof, et autres
Publié: (2021)

Some Remarks on Marginal Code Languages
par: Konstantinidis, Stavros
Publié: (2026)

Forgetting Event Order in Higher-Dimensional Automata
par: Zouari, Safa
Publié: (2026)

A Tree Sampler for Bounded Context-Free Languages
par: Considine, Breandan
Publié: (2024)

Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
par: Hausmann, Daniel, et autres
Publié: (2024)

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
par: Mandrioli, Dino, et autres
Publié: (2020)

Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
par: Iosif, Radu, et autres
Publié: (2023)

Universally Wheeler Languages
par: Becker, Ruben, et autres
Publié: (2025)

Quantitative Language Automata
par: Henzinger, Thomas A., et autres
Publié: (2025)

Positive Varieties of Lattice Languages
par: Inoue, Yusuke, et autres
Publié: (2025)

On the Separability Problem of VASS Reachability Languages
par: Keskin, Eren, et autres
Publié: (2024)

Operational State Complexity of Block Languages
par: Duarte, Guilherme, et autres
Publié: (2024)

On the Representation and State Complexity of Block Languages
par: Duarte, Guilherme, et autres
Publié: (2024)

Regular Languages in the Sliding Window Model
par: Ganardi, Moses, et autres
Publié: (2024)

On the Complexity of Language Membership for Probabilistic Words
par: Amarilli, Antoine, et autres
Publié: (2025)

Stochastic Languages at Sub-stochastic Cost
par: Agarwal, Smayan, et autres
Publié: (2025)

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata
par: Lehaut, Mathieu, et autres
Publié: (2026)

Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
par: Nepeivoda, Antonina, et autres
Publié: (2025)

Positive Characteristic Sets for Relational Pattern Languages
par: Mousawi, S. Mahmoud, et autres
Publié: (2025)

Idefix-Closed Languages and Their Application in Contextual Grammars
par: Ködding, Marvin, et autres
Publié: (2025)

Greybox Learning of Languages Recognizable by Event-Recording Automata
par: Majumdar, Anirban, et autres
Publié: (2024)

Kamp Theorem for Pomset Languages of Higher Dimensional Automata
par: Clement, Emily, et autres
Publié: (2024)

Shuffles of Context-Free Languages along Regular Trajectories
par: Barloy, Corentin, et autres
Publié: (2026)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
par: Czerwiński, Wojciech, et autres
Publié: (2025)

Atomic Gliders and CA as Language Generators (Extended Version)
par: Fisman, Dana, et autres
Publié: (2025)

Measure-Theoretic Aspects of Star-Free and Group Languages
par: Sin'ya, Ryoma, et autres
Publié: (2025)

An Automaton-based Characterisation of First-Order Logic over Infinite Trees
par: Benerecetti, Massimo, et autres
Publié: (2025)

Automaton-based Characterisations of First Order Logic over Infinite Trees
par: Benerecetti, Massimo, et autres
Publié: (2026)

On the Complexity of Computing the Co-lexicographic Width of a Regular Language
par: Becker, Ruben, et autres
Publié: (2024)

A General Information Extraction Framework Based on Formal Languages
par: Schmid, Markus L.
Publié: (2025)

Algebraic Characterization of FO-definable Languages of Higher-Dimensional Automata
par: Erlich, Enzo, et autres
Publié: (2026)

Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
par: Angluin, Dana, et autres
Publié: (2022)

Star Complexity of Parikh Images of Languages over Infinite Alphabets
par: Danieli, Yoav
Publié: (2026)

Distributional Learning of Graph Languages Generated by Fixed-Interface Clause Systems
par: Shoudai, Takayoshi, et autres
Publié: (2026)

Global One-Counter Tree Automata
par: Herrmann, Luisa, et autres
Publié: (2024)

Attributed Tree Transducers for Partial Functions
par: Maneth, Sebastian, et autres
Publié: (2024)