Pages that link to "Item:Q5881267"
From MaRDI portal
The following pages link to Conditional rewriting logic: Deduction, models and concurrency (Q5881267):
Displaying 5 items.
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Deriving Bisimulation Congruences: A 2-categorical Approach (Q2842606) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Compiling concurrent rewriting onto the Rewrite Rule Machine (Q5881288) (← links)
