军械
发表于 2025-3-21 19:14:45
书目名称Category Theory and Computer Science影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0222559<br><br> <br><br>书目名称Category Theory and Computer Science影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0222559<br><br> <br><br>书目名称Category Theory and Computer Science网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0222559<br><br> <br><br>书目名称Category Theory and Computer Science网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0222559<br><br> <br><br>书目名称Category Theory and Computer Science被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0222559<br><br> <br><br>书目名称Category Theory and Computer Science被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0222559<br><br> <br><br>书目名称Category Theory and Computer Science年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0222559<br><br> <br><br>书目名称Category Theory and Computer Science年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0222559<br><br> <br><br>书目名称Category Theory and Computer Science读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0222559<br><br> <br><br>书目名称Category Theory and Computer Science读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0222559<br><br> <br><br>
ARCHE
发表于 2025-3-21 21:08:06
A factorisation theorem in rewriting theory,rically that kind of judicious computations, introduces the notion of . derivations in its axiomatic description of Rewriting Systems: a derivation . : . → . is said to be external when the derivation e; f : M → Q is standard whenever the derivation . : . → . is standard..In this article, we sho
人类学家
发表于 2025-3-22 02:17:19
Monads and modular term rewriting,. In , this semantics was used to give a purely categorical proof of the modularity of confluence for the disjoint union of term rewriting systems. This paper provides further support for monadic semantics of rewriting by giving a categorical proof of the most general theorem concerning the mo
小鹿
发表于 2025-3-22 08:16:34
http://reply.papertrans.cn/23/2226/222559/222559_4.png
Mortar
发表于 2025-3-22 12:39:27
Presheaf models for the ,-calculus, it is shown how this approach can also handle systems where the language of actions may change dynamically as a process evolves. The example is the .-calculus, a calculus for ‘mobile processes’ whose communication topology varies as channels are created and discarded. A denotational semantics is de
细菌等
发表于 2025-3-22 16:52:53
http://reply.papertrans.cn/23/2226/222559/222559_6.png
细菌等
发表于 2025-3-22 19:10:31
http://reply.papertrans.cn/23/2226/222559/222559_7.png
exclamation
发表于 2025-3-23 00:01:44
http://reply.papertrans.cn/23/2226/222559/222559_8.png
不吉祥的女人
发表于 2025-3-23 02:55:23
Combining and representing logical systems,g Goguen and Burstall, we adopt the model-theoretic view of logic as captured in the notion of institution and of parchment (a certain algebraic way of presenting institutions)..We propose a modified notion of parchment together with a notion of parchment morphism and representation, respectively. W
ventilate
发表于 2025-3-23 08:05:35
http://reply.papertrans.cn/23/2226/222559/222559_10.png