Java+ITP
From MaRDI portal
Software:43970
swMATH32259MaRDI QIDQ43970FDOQ43970
Author name not available (Why is that?)
Cited In (7)
- 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
- The Rewriting Logic Semantics Project: A Progress Report
- Towards a Unified Theory of Operational and Axiomatic Semantics
- From Hoare Logic to Matching Logic Reachability
This page was built for software: Java+ITP
