Image de couverture de livre

Random Graph Generation in Context-Free Graph Languages

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Vastarini, Federico, Plump, Detlef
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science 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

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

Positive First-order Logic on Words and Graphs
par: Kuperberg, Denis
Publié: (2022)

Image Reflection on Process Graphs -- A Novel Approach for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity
par: Zhang, Yuanrui, et autres
Publié: (2023)

Tree-Verifiable Graph Grammars
par: Chimes, Mark, et autres
Publié: (2024)

Parity Games on Temporal Graphs
par: Austin, Pete, et autres
Publié: (2023)

The Complexity of Generalized HyperLTL with Stuttering and Contexts
par: Regaud, Gaëtan, et autres
Publié: (2025)

Resolving Nondeterminism with Randomness
par: Henzinger, Thomas A., et autres
Publié: (2025)

Logics for Context-free Hyperproperties
par: Winter, Sarah, et autres
Publié: (2026)

Random Deterministic Automata With One Added Transition
par: Carayol, Arnaud, et autres
Publié: (2024)

Homomorphism Problems in Graph Databases and Automatic Structures
par: Morvan, Rémi
Publié: (2025)

Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
par: Li, Junle, et autres
Publié: (2025)

Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3
par: Su, Yuheng, et autres
Publié: (2025)

Logic and Languages of Higher-Dimensional Automata
par: Amrane, Amazigh, et autres
Publié: (2024)

A Uniform Framework for Language Inclusion Problems
par: Doveri, Kyveli, et autres
Publié: (2024)

Language Equivalence is Undecidable in VASS with Restricted Nondeterminism
par: Czerwiński, Wojciech, et autres
Publié: (2025)

Characterization and Decidability of FC-Definable Regular Languages
par: Thompson, Sam M., et autres
Publié: (2025)

The Finite Length Property of the Rado Graph and Friends
par: Yang, Jingjie, et autres
Publié: (2026)

Algebraic Characterizations of Classes of Regular Languages in DynFO
par: Barloy, Corentin, et autres
Publié: (2026)

Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
par: Czerwiński, Wojciech, et autres
Publié: (2022)

General Decidability Results for Systems with Continuous Counters
par: Balasubramanian, A. R., et autres
Publié: (2025)

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

A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
par: Tsai, Wei-Lun, et autres
Publié: (2026)

Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
par: Heck, Linus, et autres
Publié: (2025)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
par: Rooduijn, Jan, et autres
Publié: (2024)

A proof theory of right-linear (omega-)grammars via cyclic proofs
par: Das, Anupam, et autres
Publié: (2024)

Function spaces for orbit-finite sets
par: Bojańczyk, Mikołaj, et autres
Publié: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
par: Haase, Christoph, et autres
Publié: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
par: Barloy, Corentin, et autres
Publié: (2025)

An algebraic theory of ω-regular languages, via μν-expressions
par: Das, Anupam, et autres
Publié: (2025)

Cyclic system for an algebraic theory of alternating parity automata
par: Das, Anupam, et autres
Publié: (2025)

Agentproof: Static Verification of Agent Workflow Graphs
par: Xavier, Melwin, et autres
Publié: (2026)

Games on Graphs: From Logic and Automata to Algorithms
par: Fijalkow, Nathanaël, et autres
Publié: (2023)

NILE: Formalizing Natural-Language Descriptions of Formal Languages
par: Kneisel, Tristan, et autres
Publié: (2026)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
par: Abdulla, Parosh Aziz, et autres
Publié: (2024)

AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
par: Chen, Yu-Fang, et autres
Publié: (2024)

Simple grammar bisimilarity, with an application to session type equivalence
par: Poças, Diogo, et autres
Publié: (2024)

On Dependent Variables in Reactive Synthesis
par: Akshay, S., et autres
Publié: (2024)

Attractors of Parikh mapping iterations
par: Chunikhin, Alexander
Publié: (2024)

Invariants for One-Counter Automata with Disequality Tests
par: Chistikov, Dmitry, et autres
Publié: (2024)

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
par: Caltais, Georgiana, et autres
Publié: (2024)