Random Graph Generation in Context-Free Graph Languages
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Vastarini, Federico, Plump, Detlef |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
von: Iosif, Radu, et al.
Veröffentlicht: (2023)
von: Iosif, Radu, et al.
Veröffentlicht: (2023)
Positive First-order Logic on Words and Graphs
von: Kuperberg, Denis
Veröffentlicht: (2022)
von: Kuperberg, Denis
Veröffentlicht: (2022)
Image Reflection on Process Graphs -- A Novel Approach for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity
von: Zhang, Yuanrui, et al.
Veröffentlicht: (2023)
von: Zhang, Yuanrui, et al.
Veröffentlicht: (2023)
Tree-Verifiable Graph Grammars
von: Chimes, Mark, et al.
Veröffentlicht: (2024)
von: Chimes, Mark, et al.
Veröffentlicht: (2024)
Parity Games on Temporal Graphs
von: Austin, Pete, et al.
Veröffentlicht: (2023)
von: Austin, Pete, et al.
Veröffentlicht: (2023)
The Complexity of Generalized HyperLTL with Stuttering and Contexts
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2025)
von: Regaud, Gaëtan, et al.
Veröffentlicht: (2025)
Resolving Nondeterminism with Randomness
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)
von: Henzinger, Thomas A., et al.
Veröffentlicht: (2025)
Logics for Context-free Hyperproperties
von: Winter, Sarah, et al.
Veröffentlicht: (2026)
von: Winter, Sarah, et al.
Veröffentlicht: (2026)
Random Deterministic Automata With One Added Transition
von: Carayol, Arnaud, et al.
Veröffentlicht: (2024)
von: Carayol, Arnaud, et al.
Veröffentlicht: (2024)
Homomorphism Problems in Graph Databases and Automatic Structures
von: Morvan, Rémi
Veröffentlicht: (2025)
von: Morvan, Rémi
Veröffentlicht: (2025)
Automatic Generation of Safety-compliant Linear Temporal Logic via Large Language Model: A Self-supervised Framework
von: Li, Junle, et al.
Veröffentlicht: (2025)
von: Li, Junle, et al.
Veröffentlicht: (2025)
Extended CTG Generalization and Dynamic Adjustment of Generalization Strategies in IC3
von: Su, Yuheng, et al.
Veröffentlicht: (2025)
von: Su, Yuheng, et al.
Veröffentlicht: (2025)
Logic and Languages of Higher-Dimensional Automata
von: Amrane, Amazigh, et al.
Veröffentlicht: (2024)
von: Amrane, Amazigh, et al.
Veröffentlicht: (2024)
A Uniform Framework for Language Inclusion Problems
von: Doveri, Kyveli, et al.
Veröffentlicht: (2024)
von: Doveri, Kyveli, et al.
Veröffentlicht: (2024)
Language Equivalence is Undecidable in VASS with Restricted Nondeterminism
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2025)
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2025)
Characterization and Decidability of FC-Definable Regular Languages
von: Thompson, Sam M., et al.
Veröffentlicht: (2025)
von: Thompson, Sam M., et al.
Veröffentlicht: (2025)
The Finite Length Property of the Rado Graph and Friends
von: Yang, Jingjie, et al.
Veröffentlicht: (2026)
von: Yang, Jingjie, et al.
Veröffentlicht: (2026)
Algebraic Characterizations of Classes of Regular Languages in DynFO
von: Barloy, Corentin, et al.
Veröffentlicht: (2026)
von: Barloy, Corentin, et al.
Veröffentlicht: (2026)
Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2022)
von: Czerwiński, Wojciech, et al.
Veröffentlicht: (2022)
General Decidability Results for Systems with Continuous Counters
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2025)
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2025)
Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages
von: Mandrioli, Dino, et al.
Veröffentlicht: (2020)
von: Mandrioli, Dino, et al.
Veröffentlicht: (2020)
A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
von: Tsai, Wei-Lun, et al.
Veröffentlicht: (2026)
von: Tsai, Wei-Lun, et al.
Veröffentlicht: (2026)
Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
von: Heck, Linus, et al.
Veröffentlicht: (2025)
von: Heck, Linus, et al.
Veröffentlicht: (2025)
A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
von: Rooduijn, Jan, et al.
Veröffentlicht: (2024)
von: Rooduijn, Jan, et al.
Veröffentlicht: (2024)
A proof theory of right-linear (omega-)grammars via cyclic proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)
von: Das, Anupam, et al.
Veröffentlicht: (2024)
Function spaces for orbit-finite sets
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2024)
von: Bojańczyk, Mikołaj, et al.
Veröffentlicht: (2024)
An efficient quantifier elimination procedure for Presburger arithmetic
von: Haase, Christoph, et al.
Veröffentlicht: (2024)
von: Haase, Christoph, et al.
Veröffentlicht: (2024)
The Alternation Hierarchy of First-Order Logic on Words is Decidable
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)
von: Barloy, Corentin, et al.
Veröffentlicht: (2025)
An algebraic theory of ω-regular languages, via μν-expressions
von: Das, Anupam, et al.
Veröffentlicht: (2025)
von: Das, Anupam, et al.
Veröffentlicht: (2025)
Cyclic system for an algebraic theory of alternating parity automata
von: Das, Anupam, et al.
Veröffentlicht: (2025)
von: Das, Anupam, et al.
Veröffentlicht: (2025)
Agentproof: Static Verification of Agent Workflow Graphs
von: Xavier, Melwin, et al.
Veröffentlicht: (2026)
von: Xavier, Melwin, et al.
Veröffentlicht: (2026)
Games on Graphs: From Logic and Automata to Algorithms
von: Fijalkow, Nathanaël, et al.
Veröffentlicht: (2023)
von: Fijalkow, Nathanaël, et al.
Veröffentlicht: (2023)
NILE: Formalizing Natural-Language Descriptions of Formal Languages
von: Kneisel, Tristan, et al.
Veröffentlicht: (2026)
von: Kneisel, Tristan, et al.
Veröffentlicht: (2026)
Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs (Technical Report)
von: Chen, Yu-Fang, et al.
Veröffentlicht: (2024)
von: Chen, Yu-Fang, et al.
Veröffentlicht: (2024)
Simple grammar bisimilarity, with an application to session type equivalence
von: Poças, Diogo, et al.
Veröffentlicht: (2024)
von: Poças, Diogo, et al.
Veröffentlicht: (2024)
On Dependent Variables in Reactive Synthesis
von: Akshay, S., et al.
Veröffentlicht: (2024)
von: Akshay, S., et al.
Veröffentlicht: (2024)
Attractors of Parikh mapping iterations
von: Chunikhin, Alexander
Veröffentlicht: (2024)
von: Chunikhin, Alexander
Veröffentlicht: (2024)
Invariants for One-Counter Automata with Disequality Tests
von: Chistikov, Dmitry, et al.
Veröffentlicht: (2024)
von: Chistikov, Dmitry, et al.
Veröffentlicht: (2024)
Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
von: Caltais, Georgiana, et al.
Veröffentlicht: (2024)
von: Caltais, Georgiana, et al.
Veröffentlicht: (2024)
Ähnliche Einträge
-
Characterizations of Monadic Second Order Definable Context-Free Sets of Graphs
von: Iosif, Radu, et al.
Veröffentlicht: (2023) -
Positive First-order Logic on Words and Graphs
von: Kuperberg, Denis
Veröffentlicht: (2022) -
Image Reflection on Process Graphs -- A Novel Approach for the Completeness of an Axiomatization of 1-Free Regular Expressions Modulo Bisimilarity
von: Zhang, Yuanrui, et al.
Veröffentlicht: (2023) -
Tree-Verifiable Graph Grammars
von: Chimes, Mark, et al.
Veröffentlicht: (2024) -
Parity Games on Temporal Graphs
von: Austin, Pete, et al.
Veröffentlicht: (2023)