Richard Bonichon
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A generic deskolemization strategy | 2025-02-19 | Paper |
| Model generation for quantified formulas: a taint-based approach Computer Aided Verification | 2023-05-05 | Paper |
| On Constructive Cut Admissibility in Deduction Modulo Lecture Notes in Computer Science | 2009-03-10 | Paper |
| A Semantic Completeness Proof for TaMeD Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
| Zenon: An Extensible Automated Theorem Prover Producing Checkable Proofs Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
| Automated Reasoning Lecture Notes in Computer Science | 2007-09-25 | Paper |
Research outcomes over time
This page was built for person: Richard Bonichon
