| |
| 2009 | ||
|---|---|---|
| 2 | EE | Guillaume Hoffmann, Carlos Areces: HTab: a Terminating Tableaux System for Hybrid Logic. Electr. Notes Theor. Comput. Sci. 231: 3-19 (2009) |
| 1 | EE | Dmitry Sustretov, Guillaume Hoffmann, Carlos Areces, Patrick Blackburn: Experiments in Theorem Proving for Topological Hybrid Logic. Electr. Notes Theor. Comput. Sci. 231: 309-321 (2009) |
| 1 | Carlos Areces | [1] [2] |
| 2 | Patrick Blackburn | [1] |
| 3 | Dmitry Sustretov | [1] |