翻布寻找 发表于 2025-3-30 09:53:13

http://reply.papertrans.cn/16/1527/152633/152633_51.png

etidronate 发表于 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 of

FOR 发表于 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.png

Silent-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
页: 1 2 3 4 5 [6]
查看完整版本: Titlebook: Algebraic Informatics; 9th International Co Dimitrios Poulakis,George Rahonis Conference proceedings 2022 The Editor(s) (if applicable) and