Paper Citation Record · LEDGER

Partial Reductions for Kleene Algebra with Linear Hypotheses

As of 23 August 2026, this Paper Citation Record lists 24 of 24 outbound references and 0 inbound Pith citation observations for arXiv:2601.14114.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2601.14114 v2

Coverage vector

measured 24 of 24 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-03T09:28:29.642728Z

measured 24 of 24 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

24 of 24 outbound references displayed

verified exact8
verified fuzzy0
unresolved11
parse uncertain0
malformed identifier5
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 06865e64-e611-465d-96a7-f2b58d818631 · outbound

This paper cites In: CSL (2025).

Partial Reductions for Kleene Algebra with Linear Hypotheses In: CSL (2025)

Reference 1

Resolution: malformed identifier; no resolver link, observed 2026-08-03T09:28:27.560709Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e33dff83-939d-4414-931b-d107dd68893c · outbound

This paper cites In: POPL (2014).

Partial Reductions for Kleene Algebra with Linear Hypotheses In: POPL (2014)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-03T09:28:27.645562Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8033082-ed30-4fbe-ba60-1d120b3946d1 · outbound

This paper cites Springer (1993).

Partial Reductions for Kleene Algebra with Linear Hypotheses Springer (1993)

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T09:28:27.774790Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab41f926-9101-4291-b4ac-46caa7d67a19 · outbound

This paper cites an unresolved cited work.

Partial Reductions for Kleene Algebra with Linear Hypotheses Unresolved cited work

Reference 4

Resolution: verified exact; doi, observed 2026-08-03T09:34:04.127141Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0dcf5cc6-b545-46a9-a1a5-82ec1bbbadee · outbound

This paper cites an unresolved cited work.

Partial Reductions for Kleene Algebra with Linear Hypotheses Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-03T09:28:27.978346Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 54dfced4-8571-4d8f-93e8-e4d52574c099 · outbound

This paper cites Chapman and Hall, London (1971).

Partial Reductions for Kleene Algebra with Linear Hypotheses Chapman and Hall, London (1971)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-03T09:28:28.068663Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21af76e3-1e4d-468a-b580-8988ed845729 · outbound

This paper cites In: FoSSaCS (2019).

Partial Reductions for Kleene Algebra with Linear Hypotheses In: FoSSaCS (2019)

Reference 7

Resolution: verified exact; doi, observed 2026-08-03T09:34:03.986265Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 41fcfd15-9ffc-4d78-b489-9293abef53de · outbound

This paper cites In: CONCUR (2019).

Partial Reductions for Kleene Algebra with Linear Hypotheses In: CONCUR (2019)

Reference 8

Resolution: malformed identifier; doi_truncated, observed 2026-08-03T09:34:03.864722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0bdebb11-b53d-4c23-a76a-9ce3896379a4 · outbound

This paper cites FoSSaCS (2020).

Partial Reductions for Kleene Algebra with Linear Hypotheses FoSSaCS (2020)

Reference 9

Resolution: verified exact; doi, observed 2026-08-03T09:34:03.693438Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation be2e4f42-8696-4f3c-8330-754129d3d1d5 · outbound

This paper cites In: ESOP.

Partial Reductions for Kleene Algebra with Linear Hypotheses In: ESOP

Reference 10

Resolution: malformed identifier; no resolver link, observed 2026-08-03T09:28:28.663631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f67aa8fe-150e-4023-95db-8731d1655077 · outbound

This paper cites Automata Studies pp.

Partial Reductions for Kleene Algebra with Linear Hypotheses Automata Studies pp

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-03T09:28:28.767881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95c085a0-a490-466d-a7ee-52d5b905f236 · outbound

This paper cites an unresolved cited work.

Partial Reductions for Kleene Algebra with Linear Hypotheses Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-03T09:28:28.809152Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9606213d-04cc-44f2-af56-04606bdc630f · outbound

This paper cites In: TACAS (1996).

Partial Reductions for Kleene Algebra with Linear Hypotheses In: TACAS (1996)

Reference 13

Resolution: verified exact; doi, observed 2026-08-03T09:34:03.581654Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 7f696f38-639f-4999-8ae8-5344492d1633 · outbound

This paper cites In: ICALP (2014).

Partial Reductions for Kleene Algebra with Linear Hypotheses In: ICALP (2014)

Reference 14

Resolution: verified exact; doi, observed 2026-08-03T09:34:03.405230Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ddbeafe2-8ac1-497a-b72c-a9644f4a70ca · outbound

This paper cites In: CSL (1996).

Partial Reductions for Kleene Algebra with Linear Hypotheses In: CSL (1996)

Reference 15

Resolution: verified exact; doi, observed 2026-08-03T09:34:03.354663Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b0dcfea6-3844-4eb2-af93-2c67f985395e · outbound

This paper cites In: ICTAC (2023).

Partial Reductions for Kleene Algebra with Linear Hypotheses In: ICTAC (2023)

Reference 16

Resolution: verified exact; doi, observed 2026-08-03T09:34:03.246380Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 5a5c8f09-c908-49c3-98b8-829d50bdff06 · outbound

This paper cites In: CONCUR (2019).

Partial Reductions for Kleene Algebra with Linear Hypotheses In: CONCUR (2019)

Reference 17

Resolution: verified exact; doi, observed 2026-08-03T09:34:03.100516Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 5eeabc4a-6411-435d-b525-6beded95eced · outbound

This paper cites an unresolved cited work.

Partial Reductions for Kleene Algebra with Linear Hypotheses Unresolved cited work

Reference 18

Resolution: malformed identifier; no resolver link, observed 2026-08-03T09:28:29.196337Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f8c1a4f-85ca-4d31-9273-40697bb74704 · outbound

This paper cites an unresolved cited work.

Partial Reductions for Kleene Algebra with Linear Hypotheses Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-03T09:28:29.311193Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e880892-c857-416a-9ab4-d8a9d0ae58c8 · outbound

This paper cites an unresolved cited work.

Partial Reductions for Kleene Algebra with Linear Hypotheses Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-03T09:28:29.384662Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 923fa6b9-824d-4245-b2c3-6e45451b7c95 · outbound

This paper cites By definition ofs ∗ andr i it suffices to show that, for anyiandx′ withx i w − →∗ X x′: sZi (zi 0)·s(x ′)≦ H s(xi).

Partial Reductions for Kleene Algebra with Linear Hypotheses By definition ofs ∗ andr i it suffices to show that, for anyiandx′ withx i w − →∗ X x′: sZi (zi 0)·s(x ′)≦ H s(xi)

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-03T09:28:29.441421Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c47374f-1788-4195-95d0-c7ca8267bfe2 · outbound

This paper cites an unresolved cited work.

Partial Reductions for Kleene Algebra with Linear Hypotheses Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-03T09:28:29.509490Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc60b417-f1c5-45d0-8882-caaad8cb1ceb · outbound

This paper cites an unresolved cited work.

Partial Reductions for Kleene Algebra with Linear Hypotheses Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-03T09:28:29.581632Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1345e26f-be3c-4e79-8d06-4aff9de860e5 · outbound

This paper cites Theorem 4.10.r H is a partial reduction.

Partial Reductions for Kleene Algebra with Linear Hypotheses Theorem 4.10.r H is a partial reduction

Reference 24

Resolution: malformed identifier; no resolver link, observed 2026-08-03T09:28:29.642728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.