Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações a aguardar confirmação

11
TÍTULO: Completeness in Equational Hybrid Propositional Type Theory
AUTORES: María Manzano; Manuel A Martins; Antonia Huertas;
PUBLICAÇÃO: 2019, FONTE: Studia Logica, VOLUME: 107, NÚMERO: 6
INDEXADO EM: DBLP
NO MEU: DBLP
Página 2 de 2. Total de resultados: 11.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service