Pages that link to "Item:Q4272504"
From MaRDI portal
The following pages link to Formalizing a Hierarchical Structure of Practical Mathematical Reasoning (Q4272504):
Displayed 6 items.
- Structured calculational proof (Q1267033) (← links)
- A functional logic for higher level reasoning about computation (Q1318281) (← 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)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology (Q4827602) (← links)