The following pages link to Ricardo Caferra (Q167062):
Displayed 27 items.
- Simplified handling of iterated term schemata (Q616760) (← links)
- A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics (Q687153) (← links)
- A method for simultaneous search for refutations and models by equational constraint solving (Q1198235) (← links)
- A new technique for verifying and correcting logic programs (Q1373300) (← links)
- A generic graphic framework for combining inference tools and editing proofs and formulae (Q1895412) (← links)
- Automated model building (Q2487870) (← links)
- Decidability and Undecidability Results for Propositional Schemata (Q2996912) (← links)
- (Q3070800) (← links)
- Accepting/rejecting propositions from accepted/rejected propositions: A unifying overview (Q3537540) (← links)
- Complexity of the Satisfiability Problem for a Class of Propositional Schemata (Q3564849) (← links)
- I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness (Q3582694) (← links)
- Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps (Q3612651) (← links)
- A term-graph clausal logic: completeness and incompleteness results ★ (Q3643364) (← links)
- A Schemata Calculus for Propositional Logic (Q3648719) (← links)
- (Q3939268) (← links)
- (Q4250054) (← links)
- (Q4264704) (← links)
- A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational Problems (Q4272502) (← links)
- (Q4279075) (← links)
- (Q4287493) (← links)
- (Q4530458) (← links)
- (Q4531862) (← links)
- A method for building models automatically. Experiments with an extension of OTTER (Q5210763) (← links)
- A Decidable Class of Nested Iterated Schemata (Q5747768) (← links)
- RegSTAB: A SAT Solver for Propositional Schemata (Q5747769) (← links)
- Perfect Discrimination Graphs: Indexing Terms with Integer Exponents (Q5747777) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)