A first order logic for partial functions
- Gavilanes-Franco, A.
- Lucio-Carrasco, F.
ISSN: 0304-3975
Ano de publicación: 1990
Volume: 74
Número: 1
Páxinas: 37-69
Tipo: Artigo
ISSN: 0304-3975
Ano de publicación: 1990
Volume: 74
Número: 1
Páxinas: 37-69
Tipo: Artigo