Hausdorff Coalgebras

Author:

Hofmann DirkORCID,Nora Pedro

Funder

FCT

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science,Theoretical Computer Science,Algebra and Number Theory

Reference58 articles.

1. Abramsky, S.: A Cook’s Tour of the Finitary Non-Well-Founded Sets. In: Artemov, S., Barringer, H., Garcez, A.A. (eds.) We Will Show Them! Essays in Honour of Dov Gabbay, vol. 1, pp. 1–18. College Publications, London (2005)

2. Abramsky, S., Jung, A.: Domain Theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science: Semantic Structures, vol. 3, pp. 1–168. Oxford University Press, Oxford (1995)

3. Adámek, J.: Introduction to coalgebra. Theory Appl. Categ. 14(8), 157–199 (2005)

4. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and concrete categories: the joy of cats. Pure Applied Mathematics (New York). Wiley, New York (1990). http://tac.mta.ca/tac/reprints/articles/17/tr17abs.html. Republished in: Reprints in Theory and Applications of Categories, No. 17 (2006) pp. 1–507

5. Akhvlediani, A., Clementino, M.M., Tholen, W.: On the categorical meaning of Hausdorff and Gromov distances, I. Topol. Appl. 157(8), 1275–1295 (2010). https://doi.org/10.1016/j.topol.2009.06.018

Cited by 7 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Many-valued partial orders in a closed monoidal category;Fuzzy Sets and Systems;2023-09

2. Up-to techniques for behavioural metrics via fibrations;Mathematical Structures in Computer Science;2023-04

3. Duality theory for enriched Priestley spaces;Journal of Pure and Applied Algebra;2023-03

4. On presheaf submonads of quantale-enriched categories;Quaestiones Mathematicae;2023-02

5. Kantorovich Functors and Characteristic Logics for Behavioural Distances;Lecture Notes in Computer Science;2023

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3