LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Tin tức » Nghiên cứu sinh

BONICHON Richard

Tiến sĩ
Nhóm nghiên cứu : SPI
Ngày đi : 01-09-2007
Ban lãnh đạo nghiên cứu : Thérèse HARDIN

Pas de titre

Bảo vệ luận án : 01-12-2006

Bài báo khoa học 2004-2007

  • 2007
  • 2006
    • R. Bonichon : “Pas de titre”, luận án, bảo vệ luận án 01-12-2006, ban lãnh đạo nghiên cứu Hardin, Thérèse (2006)
    • R. Bonichon, O. Hermant : “A Semantic Completeness Proof for TaMeD”, Logic for Programming, Artificial Intelligence, and Reasoning, (LPAR), vol. 4246, Lecture Notes in Computer Science, Phnom Penh, Cambodia, pp. 167-181, (Springer) (2006)
    • R. Bonichon, O. Hermant : “On Constructive Cut Admissibility in Deduction Modulo”, Types for Proofs and Programs, vol. 4502, Lecture Notes in Computer Science, Nottingham, United Kingdom, pp. 33-47, (Springer) (2006)
  • 2004
    • R. Bonichon : “TaMeD: A Tableau Method for Deduction Modulo”, IJCAR 2004 - 2nd International Joint Conference on Automated Reasoning, vol. 3097, Lecture Notes in Computer Science, Cork, Ireland, pp. 445-459, (Springer) (2004)
 Mentions légales
Sơ đồ site |