1.
|
CCMini: a prototype of certifying compiler based on annotated abstract syntax trees Bavera, Francisco - Nordio, Martín - Medel, Ricardo - Aguirre, Jorge - Baum, Gabriel Alfredo
|
2.
|
Metric-temporal access methods De Battista, Anabella - Herrera, Norma Edith - Gutiérrez Retamal, Gilberto A. - Pascal, Andrés
|
3.
|
Subquery allocations in distributed databases using genetic algorithms Gorla, Narasimhaiah - Song, Suk-Kyu
|