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
- 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
This page was built for software: Java+ITP
