pith. sign in

5 Emily Clement, Enzo Erlich, and Jérémy Ledent

doi:10 · DOI 10.1007/978-3-031-68279-7

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it
open at publisher browse 2 citing papers

fields

cs.FL 1 cs.LO 1

years

2026 2

verdicts

UNVERDICTED 2

clear filters

representative citing papers

GKAT with Hoare Hypotheses

cs.LO · 2026-06-29 · unverdicted · novelty 7.0

Extends GKAT with Hoare and word hypotheses, proving sound and complete axiomatization while preserving nearly linear-time equivalence decidability.

citing papers explorer

Showing 2 of 2 citing papers after filters.

  • GKAT with Hoare Hypotheses cs.LO · 2026-06-29 · unverdicted · none · ref 1

    Extends GKAT with Hoare and word hypotheses, proving sound and complete axiomatization while preserving nearly linear-time equivalence decidability.

  • Algebraic Characterization of FO-definable Languages of Higher-Dimensional Automata cs.FL · 2026-05-24 · unverdicted · none · ref 4 · 2 links

    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.