2007 |
7 | EE | 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 | EE | 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 | EE | Manuel Vilares Ferro,
Miguel A. Alonso,
David Cabrero Souto:
Dynamic Programming as Frame for Efficient Parsing.
SCCC 1998: 68-75 |
2 | EE | 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 |