Saila
Hizkuntza eta Sistema Informatikoak
Artikuluak (1) Ikertzaileren baten partaidetza izan duten argitalpenak
1990
-
A first order logic for partial functions
Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69