Pages that link to "Item:Q2848959"
From MaRDI portal
The following pages link to Constructor-Based Inductive Theorem Prover (Q2848959):
Displayed 4 items.
- CITP (Q37011) (← links)
- On Automation of OTS/CafeOBJ Method (Q5403084) (← links)
- Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool (Q5403085) (← links)
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086) (← links)