analgesic
发表于 2025-3-21 19:48:02
书目名称Word Equations and Related Topics影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK1030707<br><br> <br><br>书目名称Word Equations and Related Topics影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK1030707<br><br> <br><br>书目名称Word Equations and Related Topics网络公开度<br> http://impactfactor.cn/at/?ISSN=BK1030707<br><br> <br><br>书目名称Word Equations and Related Topics网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK1030707<br><br> <br><br>书目名称Word Equations and Related Topics被引频次<br> http://impactfactor.cn/tc/?ISSN=BK1030707<br><br> <br><br>书目名称Word Equations and Related Topics被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK1030707<br><br> <br><br>书目名称Word Equations and Related Topics年度引用<br> http://impactfactor.cn/ii/?ISSN=BK1030707<br><br> <br><br>书目名称Word Equations and Related Topics年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK1030707<br><br> <br><br>书目名称Word Equations and Related Topics读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK1030707<br><br> <br><br>书目名称Word Equations and Related Topics读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK1030707<br><br> <br><br>
伴随而来
发表于 2025-3-21 21:46:50
http://reply.papertrans.cn/104/10308/1030707/1030707_2.png
interrogate
发表于 2025-3-22 01:27:05
http://reply.papertrans.cn/104/10308/1030707/1030707_3.png
袭击
发表于 2025-3-22 07:49:45
Conjugacy in free inverse monoids,r some u,v). Using the characterization of elements in free inverse monoids due to Munn, we show that restricted to non idempotents, the relation of conjugacy is the transitive closure of the relation of transposition. Furthermore, we show that conjugacy between two elements of a free inverse monoid can be tested in linear time.
Horizon
发表于 2025-3-22 12:11:06
A solution of the complement problem in associatiue-commutatiue theories,basis for automating the process of learning from examples, verifying the sufficient-completeness property of algebraic specifications, designing associative-commutative compilation algorithms, finding solutions of systems of equations and disequations in associative and commutative theories, etc.
moribund
发表于 2025-3-22 13:17:13
Conference proceedings 1993of Makanin‘salgorithm), word unification and transformation ofgeneralizedequations, unification in the combination ofdisjoint theories, on thesubsets of rank two in a freemonoid (a fast decision algorithm), and a solution of thecomplement problem in associative-commutative theories.
Esophagitis
发表于 2025-3-22 19:18:24
Word unification and transformation of generalized equations, generalized equations. We also prove that a combination of Plotkin‘s algorithm (see , also ) and Makanin‘s algorithm offers a simple solution to the problem of terminating minimal and complete word unification.
Aviary
发表于 2025-3-22 22:50:48
0302-9743 rsity ofRouen in October1991.The papers are on the following topics: generalsolution ofword equations, conjugacy in free inverse monoids,generalA- and AX-unification via optimized combination procedures,wordequations with two variables, a conjecture aboutconjugacy in free groups, acase of terminatio
铁砧
发表于 2025-3-23 04:57:54
http://reply.papertrans.cn/104/10308/1030707/1030707_9.png
Yourself
发表于 2025-3-23 06:35:41
General A- and AX-unification via optimized combination procedures,ntioned (1) that the algorithm provides us with a decision procedure for the solvability of general .- and .-unification problems and (2) that Kapur and Narendran‘s result about the NP-decidability of the solvability of general .- and .-unification problems (see ) may be obtained from our resu