奴才 发表于 2025-3-28 15:42:01

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

aerobic 发表于 2025-3-28 22:30:09

Klaus Madlener,Friedrich Otto-orientable regular maps having less than 6 faces..Our and earlier results indicate that the orientable case seems to admit in a certain sense much more regular maps than the non-orientable case. This becomes plausible, if we take into consideration the crystallographic aspect. The group of the map

不透明 发表于 2025-3-29 00:49:17

Friedrich Otto-orientable regular maps having less than 6 faces..Our and earlier results indicate that the orientable case seems to admit in a certain sense much more regular maps than the non-orientable case. This becomes plausible, if we take into consideration the crystallographic aspect. The group of the map

Dendritic-Cells 发表于 2025-3-29 06:22:20

Richard Göbelnditions that two systems of PDEs need to fulfill in order to share structure under a given correspondence. Furthermore, it is shown how symmetry groups can be used to identify useful correspondences and structure that is shared up to symmetries. Thereby, the role that Bäcklund transformations play

Obloquy 发表于 2025-3-29 10:39:14

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

CREST 发表于 2025-3-29 12:01:04

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

哑巴 发表于 2025-3-29 16:20:16

Jean H. Gallier,Wayne Snydersomorphism theorems and Jacobson radical isomorphism theorems extend to the topological setting. The main result is that the class of reduced modules over a complete discrete valuation domain which contain an unbounded torsion submodule and are divisible modulo torsion satisfy a topological Jacobson

BOOR 发表于 2025-3-29 22:34:44

Descendants of regular language in a class of rewriting systems: Algorithm and complexity of an aut

罗盘 发表于 2025-3-29 23:58:06

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

缓和 发表于 2025-3-30 05:32:59

Schematization of infinite sets of rewrite rules. Application to the divergence of completion proce
页: 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