Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones en la fuente JOURNAL OF AUTOMATED REASONING

Tipo Año Título Fuente
Artículo2014Formally Verified Tableau-Based Reasoners for a Description LogicJOURNAL OF AUTOMATED REASONING
Artículo2011Proof Pearl: a Formal Proof of Higman's Lemma in ACL2JOURNAL OF AUTOMATED REASONING
Artículo2006Formal correctness of a quadratic unification algorithmJOURNAL OF AUTOMATED REASONING
Artículo2004Formal verification of a generic framework to synthesize SAT-proversJOURNAL OF AUTOMATED REASONING