A first order logic for partial functions

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

ISSN: 0304-3975

Datum der Publikation: 1990

Ausgabe: 74

Nummer: 1

Seiten: 37-69

Art: Artikel

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