Pedro Manuel Agostinho Resende


AuthID: R-000-EV1

Publicações Confirmadas: 14



11
TÍTULO: Localic sup-lattices and tropological systems  Full Text
AUTORES: Resende, P ; Vickers, S;
PUBLICAÇÃO: 2003, FONTE: Dagstuhl-Seminar on Topology in Computer Science in THEORETICAL COMPUTER SCIENCE, VOLUME: 305, NÚMERO: 1-3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
12
TÍTULO: On quantales and spectra of C*-algebras  Full Text
AUTORES: Kruml, D; Pelletier, JW; Resende, P ; Rosicky, R;
PUBLICAÇÃO: 2003, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 11, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef: 15
NO MEU: ORCID
13
TÍTULO: Tropological systems are points of quantales  Full Text
AUTORES: Resende, P ;
PUBLICAÇÃO: 2002, FONTE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 173, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
14
TÍTULO: Quantales, finite observations and strong bisimulation  Full Text
AUTORES: Resende, P ;
PUBLICAÇÃO: 2001, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 254, NÚMERO: 1-2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 2 de 2. Total de resultados: 14.

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