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