Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 95



31
32
TÍTULO: Preface
AUTORES: Martins, MA ; Sedlár, I;
PUBLICAÇÃO: 2020, FONTE: 3rd International Workshop on Dynamic Logic, DaLí 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12569 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
33
TÍTULO: Reversal Fuzzy Switch Graphs
AUTORES: Suene Campos; Regivan H N Santiago; Manuel A Martins ; Daniel Figueiredo;
PUBLICAÇÃO: 2020, FONTE: SBMF, VOLUME: 12475 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
34
TÍTULO: Completeness in Equational Hybrid Propositional Type Theory  Full Text
AUTORES: Manzano, M; Martins, M ; Huertas, A;
PUBLICAÇÃO: 2019, FONTE: STUDIA LOGICA, VOLUME: 107, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
35
TÍTULO: Epistemic Logics with Structured Knowledge
AUTORES: Madeira, A ; Martins, MA ; Benevides, MRF;
PUBLICAÇÃO: 2019, FONTE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
36
37
TÍTULO: ON HERBRAND'S THEOREM FOR HYBRID LOGIC
AUTORES: Costa, D; Martins, MA ; Marcos, J;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, VOLUME: 6, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP
38
TÍTULO: On interval dynamic logic: Introducing quasi-action lattices  Full Text
AUTORES: Santiago, R; Bedregal, B; Madeira, A ; Martins, MA ;
PUBLICAÇÃO: 2019, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 175
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID
39
TÍTULO: Preface
AUTORES: Chaves, M; Martins, MA ;
PUBLICAÇÃO: 2019, FONTE: 1st International Symposium on Molecular Logic and Computational Synthetic Biology, MLCSB 2018 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11415 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
40
TÍTULO: Rigid First-Order Hybrid Logic
AUTORES: Patrick Blackburn; Manuel A Martins ; María Manzano; Antonia Huertas;
PUBLICAÇÃO: 2019, FONTE: WoLLIC, VOLUME: 11541 LNCS
INDEXADO EM: Scopus DBLP
Página 4 de 10. Total de resultados: 95.

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

Links Úteis

Ajuda

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