Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 76



11
TÍTULO: A Four-Valued Hybrid Logic with Non-dual Modal Operators
AUTORES: Costa, D; Martins, MA ;
PUBLICAÇÃO: 2020, FONTE: 2nd International Workshop on Dynamic Logic (DaLi) as part of the Formal Methods Week / 3rd World Congress on Formal Methods in DYNAMIC LOGIC: NEW TRENDS AND APPLICATIONS, DALI 2019, VOLUME: 12005
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
12
TÍTULO: A Fuzzy Modal Logic for Fuzzy Transition Systems
AUTORES: Jain, M; Madeira, A ; Martins, MA ;
PUBLICAÇÃO: 2020, FONTE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348
INDEXADO EM: WOS DBLP CrossRef: 12
NO MEU: DBLP
13
TÍTULO: Boolean dynamics revisited through feedback interconnections  Full Text
AUTORES: Chaves, M; Figueiredo, D; Martins, MA ;
PUBLICAÇÃO: 2020, FONTE: 4th French Speaking Meeting on Interaction Networks - Foundations and Application to Biology in NATURAL COMPUTING, VOLUME: 19, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
14
15
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
16
TÍTULO: Reversal Fuzzy Switch Graphs
AUTORES: Suene Campos; Regivan H N Santiago; Manuel A Martins ; Daniel Figueiredo;
PUBLICAÇÃO: 2020, FONTE: 23rd Brazilian Symposium on Formal Methods, SBMF 2020 in Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, VOLUME: 12475
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
17
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 CrossRef: 3
NO MEU: ORCID
18
TÍTULO: Epistemic Logics with Structured Knowledge
AUTORES: Alexandre Madeira ; Manuel A Martins ; Mario R F Benevides;
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: 1
NO MEU: DBLP
19
20
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
NO MEU: DBLP
Página 2 de 8. Total de resultados: 76.

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

Links Úteis

Ajuda

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