Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações a aguardar confirmação

1
2
TÍTULO: Labeled fuzzy reactive graphs  Full Text
AUTORES: Campos, Suene; Figueiredo, Daniel; Martins, Manuel A.; Santiago, Regivan;
PUBLICAÇÃO: 2025, FONTE: FUZZY SETS AND SYSTEMS, VOLUME: 510
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
3
TÍTULO: The Institution of Many-Logics Modal Logic
AUTORES: Freire, Alfredo R.; Martins, Manuel A.; Madeira, Alexandre;
PUBLICAÇÃO: 2025, FONTE: 27th International Workshop on Algebraic Development Techniques-WADT in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, WADT 2024, VOLUME: 15587
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
4
TÍTULO: Graded Relation Updates in Modal Logic
AUTORES: Raul Fervari; Daniel Figueiredo; Manuel A Martins;
PUBLICAÇÃO: 2025, FONTE: 31st Workshop on Logic, Language, Information and Computation, WoLLIC 2025 in Logic, Language, Information, and Computation - 31st International Workshop, WoLLIC 2025, Porto, Portugal, July 14-17, 2025, Proceedings, VOLUME: 15942
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
5
TÍTULO: Propositional Type Theory of Indeterminacy  Full Text
AUTORES: Aranda, Victor; Martins, Manuel; Manzano, Maria;
PUBLICAÇÃO: 2024, FONTE: STUDIA LOGICA, VOLUME: 112, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
6
TÍTULO: Modality across different logics  Full Text
AUTORES: Freire, Alfredo Roque; Martins, Manuel A.;
PUBLICAÇÃO: 2024, FONTE: LOGIC JOURNAL OF THE IGPL
INDEXADO EM: WOS CrossRef
NO MEU: ORCID
7
TÍTULO: Reactive Graphs in Action
AUTORES: David Tinoco; Alexandre Madeira; Manuel A Martins; José Proença ;
PUBLICAÇÃO: 2024, FONTE: Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings, VOLUME: 15189
INDEXADO EM: DBLP
NO MEU: DBLP
8
TÍTULO: Reactive Graphs in Action
AUTORES: Tinoco, David; Madeira, Alexandre; Martins, Manuel A.; Proenca, Jose;
PUBLICAÇÃO: 2024, FONTE: 20th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2024, VOLUME: 15189
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
9
TÍTULO: Relation-changing models meet paraconsistency
AUTORES: Costa, Diana; Figueiredo, Daniel; Martins, Manuel A.;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 133
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP
10
TÍTULO: HYBRID PARTIAL TYPE THEORY
AUTORES: Manzano, Maria; Huertas, Antonia; Blackburn, Patrick; Martins, Manuel; Aranda, Victor;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYMBOLIC LOGIC, VOLUME: 90, NÚMERO: 1
INDEXADO EM: WOS DBLP CrossRef
NO MEU: ORCID | DBLP
Página 1 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