Reasoning on data words over numeric domains
From MaRDI portal
Publication:6649469
DOI10.1145/3531130.3533354MaRDI QIDQ6649469
Could not fetch data.
Publication date: 6 December 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On notions of regularity for data languages
- A structure to decide reachability in Petri nets
- Finite-memory automata
- The power of symbolic automata and transducers
- Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
- Theory of computation.
- First-order logic with two variables and unary temporal logic
- Semigroups, Presburger formulas, and languages
- Automata theory in nominal sets
- LTL with the freeze quantifier and register automata
- Two-variable logic on data words
- On Synthesis of Specifications with Arithmetic
- Complexity of Subcases of Presburger Arithmetic
- PP is as Hard as the Polynomial-Time Hierarchy
- Linear Arithmetic with Stars
- Automata vs. Logics on Data Words
- An Algorithm for the General Petri Net Reachability Problem
- On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation
- Complexity classes defined by counting quantifiers
- Array Folds Logic
- The Reachability Problem for Petri Nets Is Not Elementary
- Finite state machines for strings over infinite alphabets
- Arithmetic, first-order logic, and counting quantifiers
- Presburger Arithmetic, Rational Generating Functions, and Quasi-Polynomials
- Automated Deduction – CADE-20
- Streaming transducers for algorithmic verification of single-pass list-processing programs
- On Context-Free Languages
- Two-Variable Logic with Two Order Relations
- Verification, Model Checking, and Abstract Interpretation
This page was built for publication: Reasoning on data words over numeric domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6649469)