不妥协 发表于 2025-3-28 15:21:49

https://doi.org/10.1007/978-3-319-04921-2algebraic complexity theory; algebraic language theory; combinatorics on words; computational complexit

不爱防注射 发表于 2025-3-28 20:24:25

A Brief History of Strahler Numberss in its history, and its connection to arithmetic expressions, graph traversing, decision problems for context-free languages, Parikh’s theorem, and Newton’s procedure for approximating zeros of differentiable functions.

极大的痛苦 发表于 2025-3-29 00:44:31

Computing Optimal Reachability Costs in Priced Dense-Timed Pushdown Automataeal-valued clocks, and that the stack symbols have real-valued ages. Furthermore, the model allows a cost function that assigns transition costs to transitions and storage costs to stack symbols. We show that the optimal cost, i.e., the infimum of the costs of the set of runs reaching a given control state, is computable.

Abutment 发表于 2025-3-29 06:14:44

http://reply.papertrans.cn/59/5811/581011/581011_44.png

Genetics 发表于 2025-3-29 10:23:49

http://reply.papertrans.cn/59/5811/581011/581011_45.png

genesis 发表于 2025-3-29 12:45:50

978-3-319-04920-5Springer International Publishing Switzerland 2014

Forsake 发表于 2025-3-29 18:06:41

Language and Automata Theory and Applications978-3-319-04921-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

改革运动 发表于 2025-3-29 21:07:06

http://reply.papertrans.cn/59/5811/581011/581011_48.png

CHIP 发表于 2025-3-29 23:56:42

http://reply.papertrans.cn/59/5811/581011/581011_49.png

Generator 发表于 2025-3-30 07:52:07

http://reply.papertrans.cn/59/5811/581011/581011_50.png
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Language and Automata Theory and Applications; 8th International Co Adrian-Horia Dediu,Carlos Martín-Vide,Bianca Truth Conference proceedin