Jose Antonio Alonso

Available identifiers

Publication	Date of Publication	Type
Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package	2021-02-18	Paper
An approach from answer set programming to decision making in a railway interlocking system	2014-09-09	Paper
The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics	2012-12-05	Paper
Proof pearl: a formal proof of Higman's lemma in ACL2	2012-07-31	Paper
A logic approach to decision taking in a railway interlocking system using Maple	2012-05-14	Paper
Verification in ACL2 of a generic framework to synthesize SAT-provers	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	2008-09-02	Paper
Formal correctness of a quadratic unification algorithm	2007-05-03	Paper
Computer Aided Systems Theory – EUROCAST 2005	2006-11-01	Paper
CONSISTENCY IN THE ANALYTIC HIERARCHY PROCESS: A NEW APPROACH	2006-09-12	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper
A statistical criterion of consistency in the analytic hierarchy process	2006-06-22	Paper
Formal verification of a generic framework to synthesize SAT-provers	2006-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q3021901	2005-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4664924	2005-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4471942	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4433996	2003-11-03	Paper
Formal proofs about rewriting using ACL2	2002-08-19	Paper

This page was built for person: Jose Antonio Alonso