Pith. sign in

In: FoSSaCS (2019)

Doumane, A · 2019 · Lecture notes in computer science · DOI 10.1007/978-3-030-17127-8_12

1 Pith paper cite this work, alongside 15 external citations. Polarity classification is still indexing.

1 Pith paper citing it
15 external citations · OpenAlex
open at publisher browse 1 citing papers

fields

cs.PL 1

years

2026 1

verdicts

CONDITIONAL 1

representative citing papers

Partial Reductions for Kleene Algebra with Linear Hypotheses

cs.PL · 2026-01-20 · conditional · novelty 6.0

A deterministic automaton construction produces partial reductions for Kleene algebra with linear hypotheses, yielding completeness and decidability on every expression where it terminates.

citing papers explorer

Showing 1 of 1 citing paper.

  • Partial Reductions for Kleene Algebra with Linear Hypotheses cs.PL · 2026-01-20 · conditional · none · ref 7

    A deterministic automaton construction produces partial reductions for Kleene algebra with linear hypotheses, yielding completeness and decidability on every expression where it terminates.