Pages that link to "Item:Q5878907"

The following pages link to Interaction nets and term rewriting systems (extended abstract) (Q5878907):

Displayed 2 items.

• Interaction nets and term-rewriting systems (Q1389438) ‎ (← links)
• Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) ‎ (← links)