A first order logic for partial functions
- Gavilanes-Franco, A.
- Lucio-Carrasco, F.
ISSN: 0304-3975
Argitalpen urtea: 1990
Alea: 74
Zenbakia: 1
Orrialdeak: 37-69
Mota: Artikulua
ISSN: 0304-3975
Argitalpen urtea: 1990
Alea: 74
Zenbakia: 1
Orrialdeak: 37-69
Mota: Artikulua