| |
| 2006 | ||
|---|---|---|
| 5 | EE | Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: An Operational Characterization of Strong Normalization. FoSSaCS 2006: 367-381 |
| 2005 | ||
| 4 | EE | Elaine Pimentel, Dale Miller: On the Specification of Sequent Systems. LPAR 2005: 352-366 |
| 3 | EE | Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca: Lazy Strong Normalization. Electr. Notes Theor. Comput. Sci. 136: 103-116 (2005) |
| 2003 | ||
| 2 | EE | Ruy J. G. B. de Queiroz, Elaine Pimentel, Lucília Figueiredo: Preface. Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 2002 | ||
| 1 | EE | Dale Miller, Elaine Pimentel: Using Linear Logic to Reason about Sequent Systems. TABLEAUX 2002: 2-23 |
| 1 | Lucília Figueiredo | [2] |
| 2 | Dale Miller | [1] [4] |
| 3 | Luca Paolini | [3] [5] |
| 4 | Ruy J. G. B. de Queiroz | [2] |
| 5 | Simona Ronchi Della Rocca | [3] [5] |