Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 95



51
TÍTULO: A Tableau System for Quasi-Hybrid Logic
AUTORES: Diana Costa; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: IJCAR, VOLUME: 9706
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
52
TÍTULO: An exercise on the generation of many-valued dynamic logics
AUTORES: Madeira, A ; Neves, R ; Martins, MA ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
NO MEU: ORCID
53
TÍTULO: Asymmetric Combination of Logics is Functorial: A Survey
AUTORES: Renato Neves ; Alexandre Madeira ; Luís Soares Barbosa ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: WADT, VOLUME: 10644 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
54
TÍTULO: Behavioral equivalence of hidden <i>k</i>-logics: An abstract algebraic approach  Full Text
AUTORES: Babenyshev, S; Martins, MA ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF APPLIED LOGIC, VOLUME: 16
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
55
TÍTULO: Continuity as a computational effect
AUTORES: Neves, R ; Barbosa, LS ; Hofmann, D ; Martins, MA ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
56
TÍTULO: Dynamic Logic with Binders and Its Application to the Development of Reactive Systems
AUTORES: Madeira, A ; Barbosa, LS ; Hennicker, R; Martins, MA ;
PUBLICAÇÃO: 2016, FONTE: 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, VOLUME: 9965
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID
57
TÍTULO: Intelligent-based Robot to deal with Contradictions
AUTORES: Costa, D; Martins, MA ;
PUBLICAÇÃO: 2016, FONTE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2016 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2016)
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
58
TÍTULO: On Interval Dynamic Logic
AUTORES: Regivan H N Santiago; Benjamín R C Bedregal; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: SBMF, VOLUME: 10090 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
59
TÍTULO: Proof theory for hybrid(ised) logics  Full Text
AUTORES: Neves, R ; Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2016, FONTE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 126
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID
60
TÍTULO: Reuse and Integration of Specification Logics: The Hybridisation Perspective
AUTORES: Luís Soares Barbosa ; Manuel A Martins ; Alexandre Madeira ; Renato Neves ;
PUBLICAÇÃO: 2016, FONTE: Theoretical Information Reuse and Integration, VOLUME: 446
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
Página 6 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