Pages that link to "Item:Q393080"
From MaRDI portal
The following pages link to The rewriting logic semantics project: a progress report (Q393080):
Displaying 6 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)
- Logic representation in LF (Q5096264) (← links)
- Localized Operational Termination in General Logics (Q5256340) (← links)
- Multifaceted formal methods and their interdisciplinary role -- from the cathedral of `components as coalgebras' to the HCI context and the open source software bazaar (Q6643469) (← links)
