A first order logic for partial functions

  1. Gavilanes-Franco, A.
  2. Lucio-Carrasco, F.
Revista:
Theoretical Computer Science

ISSN: 0304-3975

Año de publicación: 1990

Volumen: 74

Número: 1

Páginas: 37-69

Tipo: Artículo

DOI: 10.1016/0304-3975(90)90005-3 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus