Then B can be partitioned to B =V1∪...∪Vℓfor someℓsuch that the following hold

Define G = { 4|S|mmax_eff(xy) if L =Lsimp, 4|S|mmax_eff(xy) + H if L =Lgen

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cs.FL · 2026-02-01 · unverdicted · novelty 8.0

Determinisation of min-plus weighted automata lies in the fast-growing hierarchy.

Showing 1 of 1 citing paper.

A Complexity Bound for Determinisation of Min-Plus Weighted Automata cs.FL · 2026-02-01 · unverdicted · none · ref 29
Determinisation of min-plus weighted automata lies in the fast-growing hierarchy.