Partial Reductions for Kleene Algebra with Linear Hypotheses
Lecture notes in computer science, pp. 220–239
Authors 1
-
Tobias Kappé Aachen
Affiliation as printed
LIACS, Leiden University, Leiden, The Netherlands
Cited by 0 stored of 0
No patents citing this paper on Lens.org (checked 2026-10-11).
References 16
-
W6910425439details pending0citations
16 results