breadth 发表于 2025-3-25 12:59:28

http://reply.papertrans.cn/59/5801/580052/580052_23.png

下级 发表于 2025-3-25 19:42:16

http://reply.papertrans.cn/59/5801/580052/580052_24.png

珠宝 发表于 2025-3-25 22:12:19

http://reply.papertrans.cn/59/5801/580052/580052_25.png

DEFER 发表于 2025-3-26 02:22:45

Faster non-linear parametric search with applications to optimization and dynamic geometry,tion on weighted graphs and to two problems in dynamic geometry on points moving in straight-line trajectories: computing the minimum diameter over all time and finding the time at which the length of the maximum spanning tree is minimized.

书法 发表于 2025-3-26 06:38:28

http://reply.papertrans.cn/59/5801/580052/580052_27.png

半导体 发表于 2025-3-26 11:52:16

An Eilenberg theorem for words on countable ordinals,emigroup, is an adaptation of the one used in the theory of regular languages of Ω-words. We show that finite Ω.-semigroups are equivalent to automata. In particular, the proof gives a new algorithm for determinizing automata on countable ordinals. As in the cases of finite and Ω-words, a syntactic

得体 发表于 2025-3-26 14:14:41

Maximal groups in free Burnside semigroups,tisfying . .=1. We show that such group is free over a well described set of generators whose cardinality is the cyclomatic number of a graph associated to the ℑ-class containing the group. For .=2 and for every . ≥ 2 we present examples with 2.−1 generators. Hence, in these cases, we have infinite

连累 发表于 2025-3-26 20:23:13

Positive varieties and infinite words, this paper, we extend this theory for classes of languages that are closed under union and intersection, but not necessarily under complement. As an example, we give a purely algebraic characterization of various classes of recognizable sets defined by topological properties (open, closed, . . and

deactivate 发表于 2025-3-26 22:10:25

http://reply.papertrans.cn/59/5801/580052/580052_31.png

CHANT 发表于 2025-3-27 03:05:37

http://reply.papertrans.cn/59/5801/580052/580052_32.png
页: 1 2 [3] 4 5 6 7
查看完整版本: Titlebook: LATIN‘98: Theoretical Informatics; Third Latin American Cláudio L. Lucchesi,Arnaldo V. Moura Conference proceedings 1998 Springer-Verlag Be