Pages that link to "Item:Q1113692"
From MaRDI portal
The following pages link to Confluence of indirection reductions in graph rewrite systems (Q1113692):
Displaying 7 items.
- Confluence for graph transformations (Q672753) (← links)
- On graph invariants given by linear recurrence relations (Q1812827) (← links)
- Geometric numerical integration applied to the elastic pendulum at higher-order resonance. (Q1874203) (← links)
- Confluence theory for graphs (Q2464760) (← links)
- Three Syntactic Theories for Combinatory Graph Reduction (Q3003482) (← links)
- Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System (Q4989173) (← links)
- Triangulation in rewriting (Q5111908) (← links)