beta-carotene 发表于 2025-4-1 01:52:35

http://reply.papertrans.cn/83/8262/826153/826153_61.png

Comedienne 发表于 2025-4-1 08:40:19

http://reply.papertrans.cn/83/8262/826153/826153_62.png

Dawdle 发表于 2025-4-1 13:49:12

http://reply.papertrans.cn/83/8262/826153/826153_63.png

Neuropeptides 发表于 2025-4-1 15:48:13

Formal Concepts in Dedekind Categories,ents, for a given formal context in binary relation. In this paper we set a relational formulation for formal concepts, and prove some basic properties of concept lattices by using relation calculus in Dedekind categories.

建筑师 发表于 2025-4-1 18:57:00

http://reply.papertrans.cn/83/8262/826153/826153_65.png

礼节 发表于 2025-4-1 23:24:46

978-3-540-78912-3Springer-Verlag Berlin Heidelberg 2008
页: 1 2 3 4 5 6 [7]
查看完整版本: Titlebook: Relations and Kleene Algebra in Computer Science; 10th International C Rudolf Berghammer,Bernhard Möller,Georg Struth Conference proceeding