swMATH32259MaRDI QIDQ43970FDOQ43970
Author name not available (Why is that?)
Official website: https://www.sciencedirect.com/science/article/pii/S1571066107005117
Cited In (20)
- The rewriting logic semantics project: a progress report
- The rewriting logic semantics project: a progress report
- Twenty years of rewriting logic
- The rewriting logic semantics project
- A rewriting logic approach to operational semantics
- Towards a unified theory of operational and axiomatic semantics
- From hoare logic to matching logic reachability
- LETOS
- 2OBJ
- MMT
- PVeStA
- PAGODA
- K tool
- K-Maude
- Dist-Orc
- MOMENT2
- vlogsl
- SymPLFIED
- Centaur
- K Prover
This page was built for software: Java+ITP
