Extends GKAT with Hoare and word hypotheses, proving sound and complete axiomatization while preserving nearly linear-time equivalence decidability.
5 Emily Clement, Enzo Erlich, and Jérémy Ledent
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Pomset languages recognized by higher-dimensional automata are regular iff inverse images of functors to finite categories and FO-definable iff recognized by aperiodic categories, generalizing McNaughton-Papert.
citing papers explorer
-
GKAT with Hoare Hypotheses
Extends GKAT with Hoare and word hypotheses, proving sound and complete axiomatization while preserving nearly linear-time equivalence decidability.