 | 2007 |
|---|
| 7 |       | José Luis Freire-Nistal,
Enrique Freire Brañas,
Antonio Blanco Ferro,
David Cabrero Souto:
On the Representation of Imperative Programs in a Logical Framework.
EUROCAST 2007: 202-209 |
| 2004 |
|---|
| 6 | | Enrique Méndez Díaz,
Jesús Vilares Ferro,
David Cabrero Souto:
COLE Experiments at QA@CLEF 2004 Spanish Monolingual Track.
CLEF 2004: 544-551 |
| 1999 |
|---|
| 5 |  | Manuel Vilares Ferro,
David Cabrero Souto,
Miguel Angel Alonso Pardo:
Some questions about non-termination in DCGs.
APPIA-GULP-PRODE 1999: 545-558 |
| 1998 |
|---|
| 4 | | Manuel Vilares Ferro,
Miguel Angel Alonso Pardo,
David Cabrero Souto:
A Comparison for Unification-Based Parsers.
APPIA-GULP-PRODE 1998: 113-124 |
| 3 | | Manuel Vilares Ferro,
Miguel A. Alonso,
David Cabrero Souto:
Dynamic Programming as Frame for Efficient Parsing.
SCCC 1998: 68-75 |
| 2 | | Manuel Vilares Ferro,
Miguel A. Alonso,
Jorge Graña Gil,
David Cabrero Souto:
GALENA: Tabular DCG Parsing for Natural Languages.
TAPD 1998: 44-51 |
| 1997 |
|---|
| 1 | | Manuel Vilares Ferro,
David Cabrero Souto,
Miguel Angel Alonso Pardo:
An Approach to Infinite Terms Traversal in DCGs.
APPIA-GULP-PRODE 1997: 307-318 |
