Pages that link to "Item:Q3525557"
From MaRDI portal
The following pages link to Transition Graphs of Rewriting Systems over Unranked Trees (Q3525557):
Displaying 5 items.
- The first-order theory of ground tree rewrite graphs (Q2911631) (← links)
- The Reachability Problem over Infinite Graphs (Q3392937) (← links)
- Tree Pattern Rewriting Systems (Q3540083) (← links)
- Regular model checking revisited (Q6045028) (← links)
- Ramsey quantifiers over automatic structures: complexity and applications to verification (Q6649458) (← links)