Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações a aguardar confirmação

11
12
TÍTULO: Special issue "International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18"
AUTORES: Veloz, T; Chaves, M; Martins, M;
PUBLICAÇÃO: 2021, FONTE: SOFT COMPUTING, VOLUME: 25, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
13
TÍTULO: Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
AUTORES: Costa, D; Martins, MA;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
14
TÍTULO: Rigid First-Order Hybrid Logic
AUTORES: Patrick Blackburn; Manuel A Martins; María Manzano; Antonia Huertas;
PUBLICAÇÃO: 2019, FONTE: 26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 in Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, VOLUME: 11541
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
15
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: 15.

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