Fachbereich
Lenguajes y Sistemas Informáticos
Artikel (1) Publikationen, an denen Forscher/innen teilgenommen haben
1990
-
A first order logic for partial functions
Theoretical Computer Science, Vol. 74, Núm. 1, pp. 37-69