swMATH25269MaRDI QIDQ37011FDOQ37011
Author name not available (Why is that?)
Official website: http://imi.kyushu-u.ac.jp/~daniel/citp.html
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
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs
- A Maude environment for CafeOBJ
This page was built for software: CITP
