Accéder directement au contenu

David Delahaye

2
Documents
Identifiants chercheurs

Présentation

Publications

guillaume-bury
35708
Image document

Integrating Simplex with Tableaux

Guillaume Bury , David Delahaye
Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2015, Wrowlaw, Poland. pp.86-101, ⟨10.1007/978-3-319-24312-2_7⟩
Communication dans un congrès hal-01215490v1