违法事实 发表于 2025-3-25 03:35:38

http://reply.papertrans.cn/83/8262/826127/826127_21.png

kyphoplasty 发表于 2025-3-25 08:41:28

http://reply.papertrans.cn/83/8262/826127/826127_22.png

不要不诚实 发表于 2025-3-25 13:02:03

http://reply.papertrans.cn/83/8262/826127/826127_23.png

ENDOW 发表于 2025-3-25 19:41:11

Kleene Modules . is the basis of algebraic variants of dynamic logics. We develop a calculus for . and discuss its relation to Kleene algebra with domain and to dynamic and test algebras. As an example, we apply . to the reachability analysis in digraphs.

弯弯曲曲 发表于 2025-3-25 20:36:41

http://reply.papertrans.cn/83/8262/826127/826127_25.png

fidelity 发表于 2025-3-26 00:48:15

http://reply.papertrans.cn/83/8262/826127/826127_26.png

Monolithic 发表于 2025-3-26 05:26:59

http://reply.papertrans.cn/83/8262/826127/826127_27.png

scrape 发表于 2025-3-26 10:14:18

http://reply.papertrans.cn/83/8262/826127/826127_28.png

宣誓书 发表于 2025-3-26 16:35:31

http://reply.papertrans.cn/83/8262/826127/826127_29.png

啪心儿跳动 发表于 2025-3-26 18:36:46

http://reply.papertrans.cn/83/8262/826127/826127_30.png
页: 1 2 [3] 4 5 6 7
查看完整版本: Titlebook: Relational and Kleene-Algebraic Methods in Computer Science; 7th International Se Rudolf Berghammer,Bernhard Möller,Georg Struth Conference