Manuel António Gonçalves Martins
AuthID: R-000-A10
11
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
DBLP12
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