Pages that link to "Item:Q989484"
From MaRDI portal
The following pages link to On the reachability of a version of graph-rewriting system (Q989484):
Displaying 6 items.
- Comparison of two graph-rewrite systems (Q1111401) (← links)
- Attacking the Dimensionality Problem of Parameterized Systems via Bounded Reachability Graphs (Q2894567) (← links)
- A Completion Method to Decide Reachability in Rewrite Systems (Q2964463) (← links)
- (Q3388523) (← links)
- (Q4222796) (← links)
- On the Decidability Status of Reachability and Coverability in Graph Transformation Systems (Q5111899) (← links)