The following pages link to Term Rewriting and Applications (Q5703871):
Displaying 17 items.
- Rigid tree automata and applications (Q553317) (← links)
- Equational approximations for tree automata completion (Q968530) (← links)
- A note on partially ordered tree automata (Q975463) (← links)
- On decidability of LTL model checking for process rewrite systems (Q1006890) (← links)
- Process rewrite systems. (Q1854328) (← links)
- Verifying parallel programs with dynamic communication structures (Q1959654) (← links)
- One-variable context-free hedge automata (Q2424690) (← links)
- Reachability analysis of synchronized PA systems (Q2851071) (← links)
- On symbolic verification of weakly extended PAD (Q2866343) (← links)
- A Completion Method to Decide Reachability in Rewrite Systems (Q2964463) (← links)
- When Is Reachability Intrinsically Decidable? (Q3533013) (← links)
- On the Reachability Analysis of Acyclic Networks of Pushdown Systems (Q3541030) (← links)
- Rigid Tree Automata (Q3618602) (← links)
- Verifying Parallel Programs with Dynamic Communication Structures (Q3637351) (← links)
- Bounded Communication Reachability Analysis of Process Rewrite Systems with Ordered Parallelism (Q5179049) (← links)
- Verifying Multithreaded Recursive Programs with Integer Variables (Q5179057) (← links)
- On Decidability of LTL Model Checking for Process Rewrite Systems (Q5385990) (← links)