无能力之人 发表于 2025-3-30 11:31:53

http://reply.papertrans.cn/83/8262/826152/826152_51.png

厚颜无耻 发表于 2025-3-30 12:56:29

http://reply.papertrans.cn/83/8262/826152/826152_52.png

Arctic 发表于 2025-3-30 19:23:56

http://reply.papertrans.cn/83/8262/826152/826152_53.png

Arrhythmia 发表于 2025-3-30 22:54:36

http://reply.papertrans.cn/83/8262/826152/826152_54.png

obsession 发表于 2025-3-31 04:21:13

http://reply.papertrans.cn/83/8262/826152/826152_55.png

Mediocre 发表于 2025-3-31 06:41:23

http://reply.papertrans.cn/83/8262/826152/826152_56.png

马具 发表于 2025-3-31 09:17:22

Finite Symmetric Integral Relation Algebras with No 3-Cycles, algebras. For example, it contains algebras that are not representable, algebras that are representable only on finite sets, algebras that are representable only on infinite sets, algebras that are representable on both finite and infinite sets, and there is an algorithm for determining which case

PHAG 发表于 2025-3-31 16:43:41

Computations and Relational Bundles,s lie in the fibres located at their initial states. This leads us to represent a computation in ‘fibre-form’ as the angelic choice of its behaviours from each initial state. That view is shown to have the advantage also of permitting final states to be of different types, as might be used for examp

勉励 发表于 2025-3-31 21:05:06

http://reply.papertrans.cn/83/8262/826152/826152_59.png

offense 发表于 2025-3-31 23:11:30

http://reply.papertrans.cn/83/8262/826152/826152_60.png
页: 1 2 3 4 5 [6] 7
查看完整版本: Titlebook: Relations and Kleene Algebra in Computer Science; 9th International Co Renate A. Schmidt Conference proceedings 2006 Springer-Verlag Berlin