| |
| 2006 | ||
|---|---|---|
| 3 | EE | Olivier Gasquet, Andreas Herzig, Mohamad Sahade: Terminating modal tableaux with simple completeness proof. Advances in Modal Logic 2006: 167-186 |
| 2005 | ||
| 2 | EE | Olivier Gasquet, Andreas Herzig, Dominique Longin, Mohamad Sahade: LoTREC: Logical Tableaux Research Engineering Companion. TABLEAUX 2005: 318-322 |
| 1 | Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade: Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) 2005: 587-614 | |
| 1 | Luis Fariñas del Cerro | [1] |
| 2 | Olivier Gasquet | [1] [2] [3] |
| 3 | Andreas Herzig | [1] [2] [3] |
| 4 | Dominique Longin | [2] |