Completeness in Equational Hybrid Propositional Type Theory

  1. Manzano, M.
  2. Martins, M.
  3. Huertas, A.
Revista:
Studia Logica

ISSN: 1572-8730,  0039-3215

Any de publicació: 2019

Volum: 107

Número: 6

Pàgines: 1159-1198

Tipus: Article

DOI: 10.1007/S11225-018-9833-5 GOOGLE SCHOLAR
Font de les dades: Scopus