CITP

swMATH25269MaRDI QIDQ37011FDOQ37011

Author name not available (Why is that?)

Described by source

• Constructor-Based Inductive Theorem Prover

Cited In (7)

• Stability of termination and sufficient-completeness under pushouts via amalgamation
• Omitting types theorem in hybrid dynamic first-order logic with rigid symbols
• 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