Pedro Miguel Teixeira Olhero Pessoa Nora


AuthID: R-00H-XW6

Publicações a aguardar confirmação

1
TÍTULO: Duality theory for enriched Priestley spaces  Full Text
AUTORES: Hofmann, Dirk ; Nora, Pedro;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF PURE AND APPLIED ALGEBRA, VOLUME: 227, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef: 1
2
TÍTULO: Kantorovich Functors and Characteristic Logics for Behavioural Distances
AUTORES: Goncharov, Sergey; Hofmann, Dirk ; Nora, Pedro; Schroeder, Lutz; Wild, Paul;
PUBLICAÇÃO: 2023, FONTE: 26th International Conference on Foundations of Software Science and Computational Structures (FOSSACS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2023, VOLUME: 13992
INDEXADO EM: Scopus WOS CrossRef: 1
3
TÍTULO: A point-free perspective on lax extensions and predicate liftings
AUTORES: Goncharov, Sergey; Hofmann, Dirk ; Nora, Pedro; Schroder, Lutz; Wild, Paul;
PUBLICAÇÃO: 2023, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
INDEXADO EM: Scopus WOS CrossRef
4
TÍTULO: Hausdorff Coalgebras  Full Text
AUTORES: Hofmann, D ; Nora, P;
PUBLICAÇÃO: 2020, FONTE: APPLIED CATEGORICAL STRUCTURES, VOLUME: 28, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef: 7
5
TÍTULO: Limits in Categories of Vietoris Coalgebras PDF
AUTORES: Dirk Hofmann; Renato Neves ; Pedro Nora;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1612.03318
INDEXADO EM: DBLP arXiv

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

Links Úteis

Ajuda

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