Centre
Facultad de Informática
Articles (4) Publications auxquelles un chercheur a participé
1990
-
A first order logic for partial functions
Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69
-
Column Completion of a Pair of Matrices
Linear and Multilinear Algebra, Vol. 27, Núm. 4, pp. 243-273
-
Dynamic screening of swift hydrogenlike ions moving in condensed matter
Nuclear Inst. and Methods in Physics Research, B, Vol. 48, Núm. 1-4, pp. 21-24
-
La policía en la Comunidad Autónoma Vasca: encuesta de opición realizada por el IVAC-KREI. 1990
Eguzkilore: Cuaderno del Instituto Vasco de Criminología, Núm. 4, pp. 189-202