Pedro Manuel Agostinho Resende


AuthID: R-000-EV1

Confirmed Publications: 14



11
TITLE: Localic sup-lattices and tropological systems  Full Text
AUTHORS: Resende, P ; Vickers, S;
PUBLISHED: 2003, SOURCE: Dagstuhl-Seminar on Topology in Computer Science in THEORETICAL COMPUTER SCIENCE, VOLUME: 305, ISSUE: 1-3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
12
TITLE: On quantales and spectra of C*-algebras  Full Text
AUTHORS: Kruml, D; Pelletier, JW; Resende, P ; Rosicky, R;
PUBLISHED: 2003, SOURCE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 11, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef: 15
IN MY: ORCID
13
TITLE: Tropological systems are points of quantales  Full Text
AUTHORS: Resende, P ;
PUBLISHED: 2002, SOURCE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 173, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
14
TITLE: Quantales, finite observations and strong bisimulation  Full Text
AUTHORS: Resende, P ;
PUBLISHED: 2001, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 254, ISSUE: 1-2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 2 of 2. Total results: 14.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service