A first order logic for partial functions

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

ISSN: 0304-3975

Year of publication: 1990

Volume: 74

Issue: 1

Pages: 37-69

Type: Article

DOI: 10.1016/0304-3975(90)90005-3 GOOGLE SCHOLAR lock_openOpen access editor