Manuel António Gonçalves Martins
AuthID: R-000-A10
1
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
AUTORES: Aranda, Victor; Martins, Manuel; Manzano, Maria;
PUBLICAÇÃO: 2024, FONTE: STUDIA LOGICA, VOLUME: 112, NÚMERO: 6
2
TÃTULO: Modality across different logics Full Text
AUTORES: Freire, Alfredo Roque; Martins, Manuel A.;
PUBLICAÇÃO: 2024, FONTE: LOGIC JOURNAL OF THE IGPL
AUTORES: Freire, Alfredo Roque; Martins, Manuel A.;
PUBLICAÇÃO: 2024, FONTE: LOGIC JOURNAL OF THE IGPL
3
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
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
4
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
AUTORES: Costa, Diana; Figueiredo, Daniel ; Martins, Manuel A.;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 133
5
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
AUTORES: Manzano, Maria; Huertas, Antonia; Blackburn, Patrick; Martins, Manuel; Aranda, Victor;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYMBOLIC LOGIC
6
TÃTULO: Recent Trends in Algebraic Development Techniques. 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28–30, 2022, Revised Selected Papers
AUTORES: Alexandre Madeira; Manuel A Martins;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science
AUTORES: Alexandre Madeira; Manuel A Martins;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science
7
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
AUTORES: Veloz, T; Chaves, M; Martins, M;
PUBLICAÇÃO: 2021, FONTE: SOFT COMPUTING, VOLUME: 25, NÚMERO: 9
8
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
AUTORES: Costa, D; Martins, MA;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
9
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
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
Scopus DBLP NO MEU: DBLP
DBLP10
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
AUTORES: María Manzano; Manuel A Martins; Antonia Huertas;
PUBLICAÇÃO: 2019, FONTE: Studia Logica, VOLUME: 107, NÚMERO: 6
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP