Pages that link to "Item:Q5878907"
From MaRDI portal
The following pages link to Interaction nets and term rewriting systems (extended abstract) (Q5878907):
Displaying 7 items.
- Interaction nets and term-rewriting systems (Q1389438) (← links)
- An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$ (Q2798262) (← links)
- A calculus for interaction nets based on the linear chemical abstract machine (Q2864502) (← links)
- (Q3750127) (← links)
- Integrating TwoTowers and GreatSPN through a compact net semantics (Q4788445) (← links)
- (Q4870807) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)