- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 4 |      | Carlos Areces, Daniel Gorín, Alejandra Lorenzo, Mariano Pérez Rodríguez: Testing Provers on a Grid - Framework Description. Description Logics 2009 |
| 3 | | Carlos Areces, Diego Figueira, Daniel Gorín, Sergio Mera: Tableaux and Model Checking for Memory Logics. TABLEAUX 2009: 47-61 |
| 2008 | ||
| 2 | | Santiago Figueira, Daniel Gorín, Rafael Grimson: On the Formal Semantics of IF-Like Logics. WoLLIC 2008: 164-178 |
| 2004 | ||
| 1 | | Carlos Areces, Daniel Gorín: Ordered Resolution with Selection for H(@). LPAR 2004: 125-141 |
| 1 | Carlos Areces | [1] [3] [4] |
| 2 | Diego Figueira | [3] |
| 3 | Santiago Figueira | [2] |
| 4 | Rafael Grimson | [2] |
| 5 | Alejandra Lorenzo | [4] |
| 6 | Sergio Mera | [3] |
| 7 | Mariano Pérez Rodríguez | [4] |