indices
发表于 2025-3-26 23:31:34
S. J. Salon,J. M. Schneider,S. UdaWe consider sets that are high for the complexity class . with respect to several operators on complexity classes. The notion of lowness and highness in the context of complexity theory was introduced by Schüning and further investigated and generalized under several aspects (see ).
温和女人
发表于 2025-3-27 03:06:55
Lothar Gaul,Martin Kögl,Marcus WagnerIn recent years a number of conditions have been established that a monoid must necessarily satisfy if it is to have a presentation through some finite convergent string-rewriting system. Here we give a survey on this development, explaining these necessary conditions in detail and describing the relationships between them.
青石板
发表于 2025-3-27 05:38:49
http://reply.papertrans.cn/15/1467/146653/146653_33.png
收到
发表于 2025-3-27 11:32:27
http://reply.papertrans.cn/15/1467/146653/146653_34.png
Barrister
发表于 2025-3-27 16:04:16
http://image.papertrans.cn/a/image/146653.jpg
murmur
发表于 2025-3-27 18:02:48
Material Behaviour and Numerical Techniques,ics, and (3) allows for formal proofs. To that end we study clausal specifications over built-in algebras. To keep things simple, we consider built-in algebras only that are given as the initial model of a Horn clause specification. On top of this Horn clause specification new operators are (partial
放逐某人
发表于 2025-3-28 00:29:33
http://reply.papertrans.cn/15/1467/146653/146653_37.png
Left-Atrium
发表于 2025-3-28 02:54:12
Elliptic Boundary Integral Equations,retical computer science. In structural complexity theory, researchers have developed a reasonable framework for studying the complexity of these problems. In this paper, we survey how such investigation has proceeded, and explain the current status of our knowledge.
松紧带
发表于 2025-3-28 07:21:27
http://reply.papertrans.cn/15/1467/146653/146653_39.png
流动才波动
发表于 2025-3-28 12:25:34
W. Scott Dunbar,Don L. Andersonn conditions. We prove inclusion relations between the language families defined by grammars using, respectively, the weak and strong prefix- or equality-synchronized derivation mode. In particular, the weak BSCF languages are strictly included in the family of strong BSCF languages for both the pre