Manuel António Gonçalves Martins


AuthID: R-000-A10

Publications Requiring Validation

11
12
TITLE: Special issue "International Symposium on Molecular Logic and Computational Synthetic Biology: MLCSB18"
AUTHORS: Veloz, T; Chaves, M; Martins, M;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
13
TITLE: Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic
AUTHORS: Costa, D; Martins, MA;
PUBLISHED: 2021, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 121
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
14
TITLE: Rigid First-Order Hybrid Logic
AUTHORS: Patrick Blackburn; Manuel A Martins; María Manzano; Antonia Huertas;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: DBLP
15
TITLE: Completeness in Equational Hybrid Propositional Type Theory
AUTHORS: María Manzano; Manuel A Martins; Antonia Huertas;
PUBLISHED: 2019, SOURCE: Studia Logica, VOLUME: 107, ISSUE: 6
INDEXED IN: DBLP
IN MY: DBLP
Page 2 of 2. Total results: 15.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service