Pages that link to "Item:Q5881288"

The following pages link to Compiling concurrent rewriting onto the Rewrite Rule Machine (Q5881288):

Displaying 2 items.

• Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
• José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)