← back to paper

Review history

arxiv: 2605.18248 · 2 revisions

Decidability of MSO Reparameterization over Countable Chains

1. 2026-05-20 UNVERDICTED LOW v0.9.0 novelty 6.0
   39631 ms 5641 in 1220 out 2026-05-20T08:23:33.100766+00:00
2. 2026-05-19 UNVERDICTED LOW v0.9.0 novelty 7.0
   34103 ms 5641 in 999 out 2026-05-19T23:56:25.743077+00:00