Pedro Manuel Agostinho Resende


AuthID: R-000-EV1

Publicações a aguardar confirmação

11
TÍTULO: Invariant means on Boolean inverse monoids  Full Text
AUTORES: Ganna Kudryavtseva; Mark V Lawson; Daniel H Lenz; Pedro Resende;
PUBLICAÇÃO: 2016, FONTE: SEMIGROUP FORUM, VOLUME: 92, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
12
TÍTULO: Invariant means on Boolean inverse monoids
AUTORES: Kudryavtseva, G; Lawson, MV; Lenz, DH; Resende, P;
PUBLICAÇÃO: 2016, FONTE: Semigroup Forum, VOLUME: 92, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID
13
TÍTULO: An algebraic generalization of Kripke structures
AUTORES: SÉRGIO MARCELINO; PEDRO RESENDE;
PUBLICAÇÃO: 2008, FONTE: Math. Proc. Camb. Phil. Soc. - Mathematical Proceedings of the Cambridge Philosophical Society, VOLUME: 145, NÚMERO: 03
INDEXADO EM: CrossRef
NO MEU: ORCID
14
TÍTULO: Modular specification of concurrent systems with observational logic  Full Text
AUTORES: Resende, P;
PUBLICAÇÃO: 1999, FONTE: 13th International Workshop on Algebraic Development Techniques at the 1st European Joint Conferences on Theory and Practice of Software in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1589
INDEXADO EM: WOS
15
TÍTULO: Modular specification of concurrent systems with observational logic
AUTORES: Resende, P;
PUBLICAÇÃO: 1999, FONTE: 13th International Workshop on Algebraic Development Techniques, WADT 1998 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1589
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
Página 2 de 2. Total de resultados: 15.

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