María José Hidalgo

From MaRDI portal
Person:438549

Available identifiers

zbMath Open hidalgo.maria-joseMaRDI QIDQ438549

List of research outcomes





PublicationDate of PublicationType
Proof pearl: a formal proof of Higman's lemma in ACL22012-07-31Paper
Verification in ACL2 of a generic framework to synthesize SAT-provers2011-03-04Paper
A formal proof of Dickson's lemma in ACL22010-02-24Paper
A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic2008-09-02Paper
Formal correctness of a quadratic unification algorithm2007-05-03Paper
Theorem Proving in Higher Order Logics2006-07-06Paper
Formal verification of a generic framework to synthesize SAT-provers2006-01-16Paper
Logic Based Program Synthesis and Transformation2005-12-27Paper
https://portal.mardi4nfdi.de/entity/Q30219012005-06-21Paper
https://portal.mardi4nfdi.de/entity/Q46649242005-04-09Paper
https://portal.mardi4nfdi.de/entity/Q44719422004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44339962003-11-03Paper
Formal proofs about rewriting using ACL22002-08-19Paper

Research outcomes over time

This page was built for person: María José Hidalgo

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:438549&oldid=10805953"
Powered by MediaWiki