Nora, Pedro
- Kantorovich Functors and Characteristic Logics for Behavioural Distances
2022/02/14 by S. A. Goncharov, Dirk Hofmann, Goncharov, Sergey +7 · 3 citations
Computer Science · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge
- Some notes on Esakia spaces
2014/08/05 by Dirk Hofmann, Hofmann, Dirk, Pedro Nora +1 · 1 citation
Computer Science · Decision Sciences · Mathematics · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Fuzzy and Soft Set Theory #Rings, Modules, and Algebras
- Quantitative Hennessy-Milner Theorems via Notions of Density
2022/07/19 by Forster, Jonas, Goncharov, Sergey, Hofmann, Dirk +3 · 2 citations
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)
- Relational Connectors and Heterogeneous Bisimulations
2024/10/18 by Nora, Pedro, Rot, Jurriaan, Schröder, Lutz +1 · 1 citation
#03B45 #03B70 #18A25 #68Q85 #F.3.1 #F.4.1 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)