A note on Finiteness and Boundedness in Cartesian Products of Discrete and Well-Ordered Sets, Application to Transition Systems

arXiv:2610.16764 · cs.DM, cs.FL · Submitted 2026-10-12 · Read on arXiv