Pages that link to "Item:Q4272504"
From MaRDI portal
The following pages link to Formalizing a Hierarchical Structure of Practical Mathematical Reasoning (Q4272504):
Displaying 12 items.
- Structured calculational proof (Q1267033) (← links)
- A functional logic for higher level reasoning about computation (Q1318281) (← links)
- Mathematical reasoning vs. abductive reasoning: A structural approach (Q1408652) (← links)
- From Boolean algebra to unified algebra (Q1889959) (← links)
- Verifying Whiley programs with Boogie (Q2102933) (← links)
- A proof-planning framework with explicit abstractions based on indexed formulas (Q2841241) (← links)
- The Logical Structure of Computer-Aided Mathematical Reasoning (Q4373335) (← links)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology (Q4827602) (← links)
- Program derivation using the refinement calculator (Q6567706) (← links)
- A Mizar mode for HOL (Q6567713) (← links)
- A structure preserving encoding of Z in Isabelle/HOL (Q6567720) (← links)
- Using lattice theory in higher order logic (Q6567722) (← links)