Pages that link to "Item:Q2848959"

The following pages link to Constructor-Based Inductive Theorem Prover (Q2848959):

Displaying 8 items.

• CITP (Q37011) (← links)
• A Maude environment for CafeOBJ (Q520244) (← links)
• From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols (Q2111114) (← links)
• Stability of termination and sufficient-completeness under pushouts via amalgamation (Q2215962) (← 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)