Completeness in Equational Hybrid Propositional Type Theory
- Manzano, M.
- Martins, M.
- Huertas, A.
ISSN: 1572-8730, 0039-3215
Argitalpen urtea: 2019
Alea: 107
Zenbakia: 6
Orrialdeak: 1159-1198
Mota: Artikulua
ISSN: 1572-8730, 0039-3215
Argitalpen urtea: 2019
Alea: 107
Zenbakia: 6
Orrialdeak: 1159-1198
Mota: Artikulua