Accéder directement au contenu

David Delahaye

1
Documents
Identifiants chercheurs

Présentation

Publications

962771
Image document

Tableaux Modulo Theories Using Superdeduction

Mélanie Jacquel , Karim Berkani , David Delahaye , Catherine Dubois
IJCAR 2012 - 6th International Joint Conference on Automated Reasoning, Jun 2012, Manchester, UK, United Kingdom. pp.1 - 13, ⟨10.1007/978-3-642-31365-3_26⟩
Communication dans un congrès hal-01099338v1