AMUSE
发表于 2025-3-21 18:11:47
书目名称Relations and Kleene Algebra in Computer Science影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0826154<br><br> <br><br>书目名称Relations and Kleene Algebra in Computer Science影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0826154<br><br> <br><br>书目名称Relations and Kleene Algebra in Computer Science网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0826154<br><br> <br><br>书目名称Relations and Kleene Algebra in Computer Science网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0826154<br><br> <br><br>书目名称Relations and Kleene Algebra in Computer Science被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0826154<br><br> <br><br>书目名称Relations and Kleene Algebra in Computer Science被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0826154<br><br> <br><br>书目名称Relations and Kleene Algebra in Computer Science年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0826154<br><br> <br><br>书目名称Relations and Kleene Algebra in Computer Science年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0826154<br><br> <br><br>书目名称Relations and Kleene Algebra in Computer Science读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0826154<br><br> <br><br>书目名称Relations and Kleene Algebra in Computer Science读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0826154<br><br> <br><br>
Arctic
发表于 2025-3-21 20:45:06
https://doi.org/10.1007/978-3-642-04639-1algebra; algorithms; automata; combinatorial optimization; computer; computer science; formal method; optim
就职
发表于 2025-3-22 02:55:03
http://reply.papertrans.cn/83/8262/826154/826154_3.png
野蛮
发表于 2025-3-22 07:53:49
http://reply.papertrans.cn/83/8262/826154/826154_4.png
GROG
发表于 2025-3-22 08:52:28
A Model of Internet Routing Using Semi-modules, need better formal models to capture the complexities of Internet routing. In this paper we develop an algebraic model that clarifies the distinction between . and .. We hope that this suggests new approaches to the design of routing protocols.
蘑菇
发表于 2025-3-22 14:21:03
http://reply.papertrans.cn/83/8262/826154/826154_6.png
漫步
发表于 2025-3-22 18:47:01
General Correctness Algebra,vious approaches. In particular, we propose axioms, correctness statements, a correctness calculus, specification constructs and a loop refinement rule. The Egli-Milner order is treated algebraically and we show how to obtain least fixpoints, used to solve recursion equations, in terms of the natural order.
可卡
发表于 2025-3-23 01:14:15
,Armstrong’s Inference Rules in Dedekind Categories,he theory of formal concepts by Wille and Ganter. In this paper the authors treat Armstrong’s inference rules and the implication as (binary) relations in an upper semi lattice in a Dedekind category, and give a relation algebraic proof of the completeness theorem for Armstrong’s inference rules in a Schröder category.
delusion
发表于 2025-3-23 03:48:43
Collagories for Relational Adhesive Rewriting,n-algebraic approach to graph transformation. Collagories closely correspond to the adhesive categories important for the categorical DPO approach to graph transformation. but thanks to their relation-algebraic flavour provide a more accessible and more flexible setting.
Kindle
发表于 2025-3-23 05:58:56
http://reply.papertrans.cn/83/8262/826154/826154_10.png