Pedro Manuel Agostinho Resende
AuthID: R-000-EV1
11
TÃTULO: Open quotients of trivial vector bundles
AUTORES: Resende, P; Santos, JP ;
PUBLICAÇÃO: 2017, FONTE: Topology and its Applications, VOLUME: 224
AUTORES: Resende, P; Santos, JP ;
PUBLICAÇÃO: 2017, FONTE: Topology and its Applications, VOLUME: 224
12
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
AUTORES: Ganna Kudryavtseva; Mark V Lawson; Daniel H Lenz; Pedro Resende;
PUBLICAÇÃO: 2016, FONTE: SEMIGROUP FORUM, VOLUME: 92, NÚMERO: 1
13
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
AUTORES: Kudryavtseva, G; Lawson, MV; Lenz, DH; Resende, P;
PUBLICAÇÃO: 2016, FONTE: Semigroup Forum, VOLUME: 92, NÚMERO: 1
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID14
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
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
15
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
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
WOS16
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
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
