Decision Procedure for A Theory of String Sequences
Fuente:
arXiv
Salvato in:
| Autori principali: | Hu, Denghang, Chen, Taolue, Rümmer, Philipp, Song, Fu, Wu, Zhilin |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
di: Nepeivoda, Antonina, et al.
Pubblicazione: (2025)
di: Nepeivoda, Antonina, et al.
Pubblicazione: (2025)
Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
di: Geißler, Dominik, et al.
Pubblicazione: (2025)
di: Geißler, Dominik, et al.
Pubblicazione: (2025)
Finite-valued Streaming String Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2024)
di: Filiot, Emmanuel, et al.
Pubblicazione: (2024)
Composing Copyless Streaming String Transducers
di: Alur, Rajeev, et al.
Pubblicazione: (2022)
di: Alur, Rajeev, et al.
Pubblicazione: (2022)
The Decision Problem for Regular First-Order Theories
di: Mathur, Umang, et al.
Pubblicazione: (2024)
di: Mathur, Umang, et al.
Pubblicazione: (2024)
A Regular and Complete Notion of Delay for Streaming String Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2022)
di: Filiot, Emmanuel, et al.
Pubblicazione: (2022)
Minimizing Streaming String Transducers: An algebraic approach
di: Benalioua, Yahia Idriss, et al.
Pubblicazione: (2026)
di: Benalioua, Yahia Idriss, et al.
Pubblicazione: (2026)
Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
di: Kan, Shuanglong, et al.
Pubblicazione: (2025)
di: Kan, Shuanglong, et al.
Pubblicazione: (2025)
An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols
di: Stutz, Felix, et al.
Pubblicazione: (2025)
di: Stutz, Felix, et al.
Pubblicazione: (2025)
Type-Driven Prompt Programming: From Typed Interfaces to a Calculus of Constraints
di: Paul, Abhijit
Pubblicazione: (2025)
di: Paul, Abhijit
Pubblicazione: (2025)
Synthesizing DSLs for Few-Shot Learning
di: Krogmeier, Paul, et al.
Pubblicazione: (2025)
di: Krogmeier, Paul, et al.
Pubblicazione: (2025)
Syntax Repair as Language Intersection
di: Considine, Breandan
Pubblicazione: (2025)
di: Considine, Breandan
Pubblicazione: (2025)
Refuting Equivalence in Probabilistic Programs with Conditioning
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2025)
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2025)
Weighted Automata for Exact Inference in Discrete Probabilistic Programs
di: Geißler, Dominik, et al.
Pubblicazione: (2025)
di: Geißler, Dominik, et al.
Pubblicazione: (2025)
Formally Verified Linear-Time Invertible Lexing
di: Chassot, Samuel, et al.
Pubblicazione: (2025)
di: Chassot, Samuel, et al.
Pubblicazione: (2025)
Characterizing Implementability of Global Protocols with Infinite States and Data
di: Li, Elaine, et al.
Pubblicazione: (2024)
di: Li, Elaine, et al.
Pubblicazione: (2024)
Saturating automata for game semantics
di: Dixon, Alex, et al.
Pubblicazione: (2023)
di: Dixon, Alex, et al.
Pubblicazione: (2023)
Maximal and minimal dynamic Petri net slicing
di: Llorens, Marisa, et al.
Pubblicazione: (2021)
di: Llorens, Marisa, et al.
Pubblicazione: (2021)
V-Star: Learning Visibly Pushdown Grammars from Program Inputs
di: Jia, Xiaodong, et al.
Pubblicazione: (2024)
di: Jia, Xiaodong, et al.
Pubblicazione: (2024)
CIR+CVN: Bridging LLM Semantic Understanding and Petri-Net Verification for Concurrent Programs
di: Zhang, Kaiwen, et al.
Pubblicazione: (2026)
di: Zhang, Kaiwen, et al.
Pubblicazione: (2026)
Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking
di: Li, Elaine, et al.
Pubblicazione: (2026)
di: Li, Elaine, et al.
Pubblicazione: (2026)
Equivalence and Similarity Refutation for Probabilistic Programs
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)
di: Chatterjee, Krishnendu, et al.
Pubblicazione: (2024)
Reactive graphs in action (extended version)
di: Tinoco, David, et al.
Pubblicazione: (2024)
di: Tinoco, David, et al.
Pubblicazione: (2024)
Polyregular equivalence is undecidable in higher-order types
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2026)
di: Bojańczyk, Mikołaj, et al.
Pubblicazione: (2026)
Synchronisability in Mailbox Communication
di: Di Giusto, Cinzia, et al.
Pubblicazione: (2024)
di: Di Giusto, Cinzia, et al.
Pubblicazione: (2024)
Verification under TSO with an infinite Data Domain
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2024)
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2024)
Linear Matching of JavaScript Regular Expressions
di: Barrière, Aurèle, et al.
Pubblicazione: (2023)
di: Barrière, Aurèle, et al.
Pubblicazione: (2023)
Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification
di: Hong, Chih-Duo, et al.
Pubblicazione: (2025)
di: Hong, Chih-Duo, et al.
Pubblicazione: (2025)
Duality-based Mode Operations and Pyramid Multilayer Mapping for Rhetorical Modes
di: Wu, Zi-Niu
Pubblicazione: (2025)
di: Wu, Zi-Niu
Pubblicazione: (2025)
Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)
di: Tsai, Yun Chen, et al.
Pubblicazione: (2025)
di: Tsai, Yun Chen, et al.
Pubblicazione: (2025)
String Attractors for Automatic Sequences
di: Schaeffer, Luke, et al.
Pubblicazione: (2020)
di: Schaeffer, Luke, et al.
Pubblicazione: (2020)
AGDES: Automatic Generation of Dependent Event Sequences
di: Guzman, Alexander Obeid
Pubblicazione: (2026)
di: Guzman, Alexander Obeid
Pubblicazione: (2026)
The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective
di: Bergsträßer, Pascal, et al.
Pubblicazione: (2024)
di: Bergsträßer, Pascal, et al.
Pubblicazione: (2024)
Closure and Decision Properties for Higher-Dimensional Automata
di: Amrane, Amazigh, et al.
Pubblicazione: (2023)
di: Amrane, Amazigh, et al.
Pubblicazione: (2023)
Uniform Membership for Hyperedge Replacement Grammars and Related Decision Problems
di: Pshenitsyn, Tikhon
Pubblicazione: (2025)
di: Pshenitsyn, Tikhon
Pubblicazione: (2025)
An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
di: Finkel, Alain, et al.
Pubblicazione: (2025)
di: Finkel, Alain, et al.
Pubblicazione: (2025)
Standard Automata Theory and Process Algebra
di: Yodaiken, Victor
Pubblicazione: (2022)
di: Yodaiken, Victor
Pubblicazione: (2022)
Context-Free Languages of String Diagrams
di: Earnshaw, Matt, et al.
Pubblicazione: (2024)
di: Earnshaw, Matt, et al.
Pubblicazione: (2024)
Undecidability of the Emptiness Problem for Weak Models of Distributed Computing
di: Principato, Flavio T., et al.
Pubblicazione: (2025)
di: Principato, Flavio T., et al.
Pubblicazione: (2025)
The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
di: Chen, Zeyu, et al.
Pubblicazione: (2026)
di: Chen, Zeyu, et al.
Pubblicazione: (2026)
Documenti analoghi
-
Abstract String Domain Defined with Word Equations as a Reduced Product (Extended Version)
di: Nepeivoda, Antonina, et al.
Pubblicazione: (2025) -
Probabilistic Programming Meets Automata Theory: Exact Inference using Weighted Automata
di: Geißler, Dominik, et al.
Pubblicazione: (2025) -
Finite-valued Streaming String Transducers
di: Filiot, Emmanuel, et al.
Pubblicazione: (2024) -
Composing Copyless Streaming String Transducers
di: Alur, Rajeev, et al.
Pubblicazione: (2022) -
The Decision Problem for Regular First-Order Theories
di: Mathur, Umang, et al.
Pubblicazione: (2024)