The following pages link to Constructor-based logics (Q2816365):
Displaying 11 items.
- A Maude environment for CafeOBJ (Q520244) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- Interpolation in logics with constructors (Q1944775) (← 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)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Constructor-Based Inductive Theorem Prover (Q2848959) (← links)
- Initial semantics in logics with constructors (Q5176547) (← links)
- On Automation of OTS/CafeOBJ Method (Q5403084) (← links)
- Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs (Q5403086) (← links)