Ricardo Caferra

Available identifiers

zbMath Open caferra.ricardoMaRDI QIDQ167062

List of research outcomes

Publication	Date of Publication	Type
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
A Decidable Class of Nested Iterated Schemata	2010-09-14	Paper
RegSTAB: A SAT Solver for Propositional 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ricardo Caferra