Ricardo Caferra

Available identifiers

zbMath Open caferra.ricardoMaRDI QIDQ167062

List of research outcomes

Publication	Date of Publication	Type
Automated deduction	2024-09-11	Paper
Decision procedures using model building techniques	2024-06-21	Paper
A method for building models automatically. Experiments with an extension of OTTER	2020-01-21	Paper
Decidability and Undecidability Results for Propositional Schemata	2011-05-04	Paper
https://portal.mardi4nfdi.de/entity/Q3070800	2011-01-27	Paper
Simplified handling of iterated term schemata	2011-01-12	Paper
RegSTAB: A SAT Solver for Propositional Schemata	2010-09-14	Paper
A Decidable Class of Nested Iterated Schemata	2010-09-14	Paper
Perfect Discrimination Graphs: Indexing Terms with Integer Exponents	2010-09-14	Paper
I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness	2010-08-24	Paper
Complexity of the Satisfiability Problem for a Class of Propositional Schemata	2010-05-26	Paper
A Schemata Calculus for Propositional Logic	2009-12-01	Paper
A term-graph clausal logic: completeness and incompleteness results ★	2009-11-11	Paper
Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps	2009-03-10	Paper
Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview	2008-11-07	Paper
Automated model building	2005-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4530458	2002-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q4531862	2002-05-23	Paper
Combining enumeration and deductive techniques in order to increase the class of constructible infinite models	2001-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4264704	1999-10-07	Paper
https://portal.mardi4nfdi.de/entity/Q4250054	1999-06-17	Paper
A new technique for verifying and correcting logic programs	1997-11-18	Paper
A generic graphic framework for combining inference tools and editing proofs and formulae	1996-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q4287493	1994-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4279075	1994-03-10	Paper
A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics	1994-01-04	Paper
A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational Problems	1993-12-06	Paper
A method for simultaneous search for refutations and models by equational constraint solving	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q3939268	1982-01-01	Paper

Research outcomes over time

This page was built for person: Ricardo Caferra