A first order logic for partial functions

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

ISSN: 0304-3975

Any de publicació: 1990

Volum: 74

Número: 1

Pàgines: 37-69

Tipus: Article

DOI: 10.1016/0304-3975(90)90005-3 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus