欺侮 发表于 2025-3-21 18:34:44
书目名称Recent Trends in Algebraic Development Techniques影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0823390<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0823390<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0823390<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0823390<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0823390<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0823390<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0823390<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0823390<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0823390<br><br> <br><br>书目名称Recent Trends in Algebraic Development Techniques读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0823390<br><br> <br><br>Visual-Acuity 发表于 2025-3-21 21:13:50
https://doi.org/10.1007/978-3-642-03429-9algebra; distributed specifications; graph theory; linear time; minimum spanning tree; molecular automata现任者 发表于 2025-3-22 01:28:35
978-3-642-03428-2Springer-Verlag Berlin Heidelberg 2009清真寺 发表于 2025-3-22 08:13:51
Recent Trends in Algebraic Development Techniques978-3-642-03429-9Series ISSN 0302-9743 Series E-ISSN 1611-3349SENT 发表于 2025-3-22 09:18:03
http://reply.papertrans.cn/83/8234/823390/823390_5.png补充 发表于 2025-3-22 15:11:46
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process CalculiWe investigate Leifer-Milner . for CCS and .-calculus. The basic category in which we carry out the construction is the category of term contexts. Several issues and problems emerge from this experiment; for them we propose some new solutions.开始没有 发表于 2025-3-22 20:04:55
A Term-Graph Syntax for Algebras over MultisetsEarlier papers argued that term graphs play for the specification of relation-based algebras the same role that standard terms play for total algebras. The present contribution enforces the claim by showing that term graphs are a sound and complete representation for ., i.e., algebras whose operators are interpreted over multisets.束以马具 发表于 2025-3-22 22:02:14
C-semiring Frameworks for Minimum Spanning Tree Problemslgorithms that can compute such trees by following different cost criteria, which must be all specific instantiation of c-semirings. Our algorithms are extensions of well-known procedures, as Prim or Kruskal, and show the expressivity of these algebraic structures. They can deal also with partially-ordered costs on the edges.Celiac-Plexus 发表于 2025-3-23 04:33:54
Generalized Theoroidal Institution Comorphismse implementation of Heterogeneous Tool Set .. We discuss the impact of this generalization on the level of heterogenous specifications, by presenting the Grothendieck construction over a diagram of institutions and translations modelled as generalized comorphisms. Conditions for heterogeneous proofs are also evaluated.myelography 发表于 2025-3-23 06:11:48
http://reply.papertrans.cn/83/8234/823390/823390_10.png