Unfolding cactus letters is fairly “safe”:αS′,w is replaced with many iterations ofw

If q /∈supp(c1) then c2(q)>F −max_eff(xαS′,wy) (and could be∞)

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 7
Determinisation of min-plus weighted automata lies in the fast-growing hierarchy.