1998 | ||
---|---|---|
2 | EE | Blas C. Ruiz Jiménez: Condensing Lemmas for Pure Type Systems with Universes. AMAST 1998: 422-437 |
1 | Javier Mateos, Carlos Ilia Herráiz Montalvo, Blas C. Ruiz Jiménez, Rafael Molina, Aggelos K. Katsaggelos: Reduction of Blocking Artifacts in Block Transformed Compressed Color Images. ICIP (1) 1998: 401-405 |
1 | Aggelos K. Katsaggelos | [1] |
2 | Javier Mateos | [1] |
3 | Rafael Molina | [1] |
4 | Carlos Ilia Herráiz Montalvo | [1] |