Manuel António Gonçalves Martins


AuthID: R-000-A10

Publicações Confirmadas: 76



71
TÍTULO: Automatic structures for semigroup constructions  Full Text
AUTORES: Andrade, I; Descalco, L ; Manuel A Martins ;
PUBLICAÇÃO: 2008, FONTE: SEMIGROUP FORUM, VOLUME: 76, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID | ResearcherID
72
TÍTULO: On the behavioral equivalence between k-data structures
AUTORES: Manuel A Martins ;
PUBLICAÇÃO: 2008, FONTE: COMPUTER JOURNAL, VOLUME: 51, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | ResearcherID | DBLP
73
TÍTULO: Behavioural reasoning for conditional equations
AUTORES: Manuel A Martins ; Don Pigozzi;
PUBLICAÇÃO: 2007, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 17, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID | ResearcherID | DBLP
74
TÍTULO: Closure properties for the class of behavioral models  Full Text
AUTORES: Manuel A Martins ;
PUBLICAÇÃO: 2007, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 379, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | ResearcherID | DBLP
75
TÍTULO: Behavioral institutions and refinements in generalized hidden logics
AUTORES: Manuel A Martins ;
PUBLICAÇÃO: 2006, FONTE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | ResearcherID | DBLP
76
TÍTULO: On the injectivity of the leibniz operator
AUTORES: Descalco, L; Martins, MA ;
PUBLICAÇÃO: 2005, FONTE: Bulletin of the Section of Logic, VOLUME: 34, NÚMERO: 4
INDEXADO EM: Scopus
NO MEU: ORCID
Página 8 de 8. Total de resultados: 76.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service