翻布寻找 发表于 2025-3-30 09:53:13
http://reply.papertrans.cn/16/1527/152633/152633_51.pngetidronate 发表于 2025-3-30 12:27:10
On Some Algebraic Ways to Calculate Zeros of the Riemann Zeta Functionown results about this function. The emphasis is given to the possibility to formulate the celebrated Riemann Hypothesis as a statement from class . in the arithmetical hierarchy..In the second part of the paper the author demonstrates by numerical examples some non-evident ways for finding zeros ofFOR 发表于 2025-3-30 16:44:07
Shuffle Product of Regular Languages: Results and Open Problemsve varieties closed under shuffle. Next we turn to the class of intermixed languages, the smallest class of languages containing the letters and closed under Boolean operations, product and shuffle. Finally, we study Schnoebelen’s sequential and parallel decompositions of languages and discuss vario指派 发表于 2025-3-30 22:18:55
http://reply.papertrans.cn/16/1527/152633/152633_54.pngSilent-Ischemia 发表于 2025-3-31 01:54:04
http://reply.papertrans.cn/16/1527/152633/152633_55.png药物 发表于 2025-3-31 06:20:15
http://reply.papertrans.cn/16/1527/152633/152633_56.png拱形面包 发表于 2025-3-31 12:44:59
Weighted Propositional Configuration Logic over De Morgan Algebrasanguage for software architectures with quantitative features. We prove an efficient construction of full normal forms, the decidability of equivalence of formulas and the decidability of a partial order relation over polynomials derived from formulas in this logic. Moreover, we provide formulas of