| Tipo | Año | Título | Fuente |
|---|---|---|---|
| Ponencia | 1996 | Un método general de transformación de CFG a TAG | Lenguajes naturales y lenguajes formales : actas del XII congreso de lenguajes naturales y lenguajes formales : (La Seu d'Urgel, 23-27 de septiembre de 1996) |
| Ponencia | 1994 | Automatización de la aritmética | Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) |
| Ponencia | 1994 | La interpretación de las normas: lógica deóntica y sistemas modales mixtos | Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) |
| Ponencia | 1994 | Prueba por consistencia de teoremas inductivos: inducción sin inducción | Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) |
| Ponencia | 1994 | Resultative and depictive constructions in English: an LFG-based approach for machine translation | Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) |
| Ponencia | 1994 | Transición de la descripción de un sistema en lenguaje natural a su formalización | Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994) |
| Ponencia | 1993 | Extensiones cofinales de modelos de la Aritmética | Lenguajes naturales y lenguajes formales : actas del IX congreso de lenguajes naturales y lenguajes formales : (Reus, 20-22 de diciembre de 1993) |
| Ponencia | 1993 | La relación de consecuencia informativa | Lenguajes naturales y lenguajes formales : actas del IX congreso de lenguajes naturales y lenguajes formales : (Reus, 20-22 de diciembre de 1993) |
| Ponencia | 1993 | Un cálculo en forma normal para modalidades | Lenguajes naturales y lenguajes formales : actas del IX congreso de lenguajes naturales y lenguajes formales : (Reus, 20-22 de diciembre de 1993) |
| Ponencia | 1992 | "Splitting" en fragmentos del máximo | Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992) |
| Ponencia | 1992 | Arboles semánticos para lógicas modales normales | Lenguajes naturales y lenguajes formales : actas del VII congreso de lenguajes naturales y lenguajes formales : (Vic-Barcelona, 23-27 de septiembre de 1991) |
| Ponencia | 1992 | Fundamentos de la pragmática en Sein und Zeit | Lenguajes naturales y lenguajes formales : actas del VII congreso de lenguajes naturales y lenguajes formales : (Vic-Barcelona, 23-27 de septiembre de 1991) |
| Ponencia | 1992 | Razonamiento automático en lógica de primer orden | Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992) |
| Ponencia | 1992 | Una aproximación categorial al análisis de la interfaz sintaxis-semántica en el marco de los sistemas deductivos etiquetados | Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992) |
| Ponencia | 1990 | Lógicas polivalentes y bases de Gröbner | Lenguajes naturales y lenguajes formales : actas del V congreso de lenguajes naturales y lenguajes formales : (Villafranca del Penedès-Barcelona, 18-22 de septiembre de 1989) |
| Capítulo | 1989 | Representación de modelos no-estándar de sublenguajes de la aritmética | Lenguajes naturales y lenguajes formales IV: vol 2. |
| Ponencia | 1989 | Representación de modelos no-estándar de sublenguajes de la aritmética | Lenguajes naturales y lenguajes formales IV: vol 2. |