Identifies a class of trace-pushdown systems where the first-order theory of the configuration graph with reachability is decidable.
Information and Computation207(11), 1329–1339 (2009)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.FL 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
The theory of reachability in trace-pushdown systems
Identifies a class of trace-pushdown systems where the first-order theory of the configuration graph with reachability is decidable.