María José Hidalgo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Proof pearl: a formal proof of Higman's lemma in ACL2 Journal of Automated Reasoning	2012-07-31	Paper
Verification in ACL2 of a generic framework to synthesize SAT-provers Logic Based Program Synthesis and Transformation	2011-03-04	Paper
A formal proof of Dickson's lemma in ACL2	2010-02-24	Paper
A Formally Verified Prover for the $\mathcal{ALC\,}$ Description Logic Lecture Notes in Computer Science	2008-09-02	Paper
Formal correctness of a quadratic unification algorithm Journal of Automated Reasoning	2007-05-03	Paper
Theorem Proving in Higher Order Logics Lecture Notes in Computer Science	2006-07-06	Paper
Formal verification of a generic framework to synthesize SAT-provers Journal of Automated Reasoning	2006-01-16	Paper
Logic Based Program Synthesis and Transformation Lecture Notes in Computer Science	2005-12-27	Paper
scientific article; zbMATH DE number 2177622 (Why is no real title available?)	2005-06-21	Paper
scientific article; zbMATH DE number 2154398 (Why is no real title available?)	2005-04-09	Paper
scientific article; zbMATH DE number 2079835 (Why is no real title available?)	2004-07-30	Paper
scientific article; zbMATH DE number 2000443 (Why is no real title available?)	2003-11-03	Paper
Formal proofs about rewriting using ACL2 Annals of Mathematics and Artificial Intelligence	2002-08-19	Paper

Research outcomes over time

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