Pages that link to "Item:Q3079927"
From MaRDI portal
The following pages link to Mapping Modular SOS to Rewriting Logic (Q3079927):
Displayed 5 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Nominal SOS (Q3178277) (← links)