Pages that link to "Item:Q393080"
From MaRDI portal
The following pages link to The rewriting logic semantics project: a progress report (Q393080):
Displayed 4 items.
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Executable rewriting logic semantics of Orc and formal analysis of Orc programs (Q2348797) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- Localized Operational Termination in General Logics (Q5256340) (← links)