CITP
From MaRDI portal
Cited in
(14)- CoFI
- TRAM
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
- CIRC
- CafeOBJ
- Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
- CRC 3
- InvA
- Stability of termination and sufficient-completeness under pushouts via amalgamation
- CafeInMaude
- A Maude environment for CafeOBJ
- On Automation of OTS/CafeOBJ Method
- Mechanical analysis of reliable communication in the alternating bit protocol using the Maude invariant analyzer tool
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs
This page was built for software: CITP
