The following pages link to María José Hidalgo (Q438549):
Displaying 14 items.
- Proof pearl: a formal proof of Higman's lemma in ACL2 (Q438550) (← links)
- (Q877824) (redirect page) (← links)
- Formal correctness of a quadratic unification algorithm (Q877825) (← links)
- Formal proofs about rewriting using ACL2 (Q1610218) (← links)
- Formal verification of a generic framework to synthesize SAT-provers (Q2583288) (← links)
- (Q3021901) (← links)
- Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers (Q3079919) (← links)
- (Q3408130) (← links)
- A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic (Q3523171) (← links)
- (Q4433996) (← links)
- (Q4471942) (← links)
- (Q4664924) (← links)
- Theorem Proving in Higher Order Logics (Q5477667) (← links)
- Logic Based Program Synthesis and Transformation (Q5713948) (← links)
