Pages that link to "Item:Q2848117"

The following pages link to (Q2848117):

Displaying 6 items.

• Infinitary combinatory reduction systems (Q550248) (← links)
• Semantic foundations for generalized rewrite theories (Q2503334) (← links)
• Modeling Pointer Redirection as Cyclic Term-graph Rewriting (Q2867899) (← links)
• Towards a Sharing Strategy for the Graph Rewriting Calculus (Q2873680) (← links)
• A Higher-Order Graph Calculus for Autonomic Computing (Q3655135) (← links)
• A Port Graph Calculus for Autonomic Computing and Invariant Verification (Q5170279) (← links)