← back to paper

Review history

arxiv: 2605.25253 · 2 revisions

Algebraic Characterization of FO-definable Languages of Higher-Dimensional Automata

1. 2026-06-30 UNVERDICTED LOW v0.9.1-grok novelty 7.0
   47336 ms 5676 in 1331 out 2026-06-30T11:45:39.203941+00:00
2. 2026-06-29 UNVERDICTED LOW v0.9.1-grok novelty 7.0
   41657 ms 5676 in 1095 out 2026-06-29T22:25:45.146398+00:00