Cited in
(22)- 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
- JavaFAN
- ITP/OCL
- 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
