David Delahaye (CEDRIC
Identifiers
No identifiers captured yet.
Papers (2)
- Tableaux Modulo Theories Using Superdeduction cs.LO · 2015 · author #3
- Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction cs.LO · 2015 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- M\'elanie Jacquel 2 shared papers
- Catherine Dubois (CEDRIC 1 shared papers
- CNAM Paris 1 shared papers
- CNAM Paris) 1 shared papers
- ENSIIE) 1 shared papers
- Inria 1 shared papers
- INRIA) 1 shared papers
- Karim Berkani 1 shared papers