你敢命令 发表于 2025-3-23 11:57:27

M. Benoisble case (see the References). We want to bring about some new aspects, which also lead to interesting applications..It is well known that the closed orientable surface of characteristic 2. is a regular two-fold cover of the closed non-orientable surface of characteristic .. Thus, every non-orientab

hyperuricemia 发表于 2025-3-23 17:29:58

Klaus Madlener,Friedrich Ottoble case (see the References). We want to bring about some new aspects, which also lead to interesting applications..It is well known that the closed orientable surface of characteristic 2. is a regular two-fold cover of the closed non-orientable surface of characteristic .. Thus, every non-orientab

puzzle 发表于 2025-3-23 21:46:50

http://reply.papertrans.cn/83/8300/829958/829958_13.png

胰岛素 发表于 2025-3-24 01:12:29

http://reply.papertrans.cn/83/8300/829958/829958_14.png

Phagocytes 发表于 2025-3-24 03:09:22

Leo Bachmair,Nachum Dershowitzalgebras of two modules in that class implies that the modules are isomorphic. A class satisfies a Jacobson radical isomorphism theorem if an isomorphism between only the Jacobson radicals of the endomorphism rings of two modules in that class implies that the modules are isomorphic. Jacobson radica

Sedative 发表于 2025-3-24 09:01:17

http://reply.papertrans.cn/83/8300/829958/829958_16.png

轻推 发表于 2025-3-24 11:23:59

Jean H. Gallier,Wayne Snyderalgebras of two modules in that class implies that the modules are isomorphic. A class satisfies a Jacobson radical isomorphism theorem if an isomorphism between only the Jacobson radicals of the endomorphism rings of two modules in that class implies that the modules are isomorphic. Jacobson radica

Omnipotent 发表于 2025-3-24 15:45:29

http://reply.papertrans.cn/83/8300/829958/829958_18.png

可行 发表于 2025-3-24 19:52:23

Some results about confluence on a given congruence class,he term-rewriting systems under consideration contain unary function symbols only, and all their rules are length-reducing. On the other hand, for certain subclasses of these systems confluence on a given congruence class is decidable.

灯丝 发表于 2025-3-25 01:43:06

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/r/image/829958.jpg
页: 1 [2] 3 4 5 6 7
查看完整版本: Titlebook: Rewriting Techniques and Applications; Bordeaux, France, Ma Pierre Lescanne Conference proceedings 1987 Springer-Verlag Berlin Heidelberg 1