Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T14:04:26.881345Z
Paper Citation Record · LEDGER
Kleene algebra with commutativity conditions is undecidable
As of 20 August 2026, this Paper Citation Record lists 21 of 21 outbound references and 0 inbound Pith citation observations for arXiv:2411.15979.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
21 of 21 outbound references displayed
- verified exact8
- verified fuzzy3
- unresolved8
- parse uncertain0
- malformed identifier0
- metadata mismatch2
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 72213194-59d1-4d05-87b5-08a17360ba83 · outbound
This paper cites Netkat: semantic foundations for networks.
Kleene algebra with commutativity conditions is undecidable Netkat: semantic foundations for networks
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T14:04:26.796882Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 01a1108d-ab3b-4fa4-9eb2-dcd4c6c5118e · outbound
This paper cites Kleene Algebra with Tests and Program Schematology.
Kleene algebra with commutativity conditions is undecidable Kleene Algebra with Tests and Program Schematology
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:04:27.375552Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation ce659cf6-b1e3-4e55-a7f2-9fa85e59b009 · outbound
This paper cites Partial derivatives of regular expressions and finite automaton constructions.
Kleene algebra with commutativity conditions is undecidable Partial derivatives of regular expressions and finite automaton constructions
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T14:04:26.806267Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation af8c5b68-478c-4e13-95ec-3752e3f62618 · outbound
This paper cites An algebra of alignment for relational verification.
Kleene algebra with commutativity conditions is undecidable An algebra of alignment for relational verification
Reference 4
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-12T14:04:27.077793Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation aad62f19-da2b-4950-b110-38088b143bd7 · outbound
This paper cites Transductions and Context-Free Languages.
Kleene algebra with commutativity conditions is undecidable Transductions and Context-Free Languages
Reference 5
- Resolution
- verified exact
- doi, observed 2026-08-12T14:04:27.060317Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 7ab5ea1f-469d-4bc3-8bd7-e6ea61114b64 · outbound
This paper cites Partial Commutation and Traces.
Kleene algebra with commutativity conditions is undecidable Partial Commutation and Traces
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T14:04:26.820456Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5f523b7c-d9a0-4953-ba1d-9a6620f198f1 · outbound
This paper cites A coalgebraic decision procedure for netkat.
Kleene algebra with commutativity conditions is undecidable A coalgebraic decision procedure for netkat
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T14:04:26.825279Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0abb693c-21fb-473f-b8b8-7281dfe992d1 · outbound
This paper cites On the decidability of some problems about rational subsets of free partially commutative monoids.
Kleene algebra with commutativity conditions is undecidable On the decidability of some problems about rational subsets of free partially commutative monoids
Reference 8
- Resolution
- verified exact
- doi, observed 2026-08-12T14:04:27.038496Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 9e2b2bde-80f9-4958-8675-4bf27d29c166 · outbound
This paper cites Hoare, Bernhard Möller, Georg Struth, and Ian Wehrman.
Kleene algebra with commutativity conditions is undecidable Hoare, Bernhard Möller, Georg Struth, and Ian Wehrman
Reference 9
- Resolution
- verified exact
- doi, observed 2026-08-12T14:04:27.024029Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 931627ff-d48d-4f81-8968-c70edb384460 · outbound
This paper cites Hopcroft, R.
Kleene algebra with commutativity conditions is undecidable Hopcroft, R
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:04:27.361764Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 842e2738-bff1-4ddf-9b7c-9777519fe60f · outbound
This paper cites Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness , volume 12077 of Lecture Notes in Computer Science , page 381–400.
Kleene algebra with commutativity conditions is undecidable Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness , volume 12077 of Lecture Notes in Computer Science , page 381–400
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T14:04:26.842311Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6c327960-9e6f-4533-bb61-20158ff34523 · outbound
This paper cites Concurrent kleene algebra: Free model and completeness.
Kleene algebra with commutativity conditions is undecidable Concurrent kleene algebra: Free model and completeness
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-12T14:04:27.001623Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 0d3fdde6-99ec-430d-8351-340a9af51b26 · outbound
This paper cites On kleene algebras and closed semirings.
Kleene algebra with commutativity conditions is undecidable On kleene algebras and closed semirings
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T14:04:26.850739Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c1aa0a19-249e-418c-be24-ddfaacaf0420 · outbound
This paper cites Kleene algebra with tests and commutativity conditions , volume 1055 of Lecture Notes in Computer Science , page 14–33.
Kleene algebra with commutativity conditions is undecidable Kleene algebra with tests and commutativity conditions , volume 1055 of Lecture Notes in Computer Science , page 14–33
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T14:04:26.855063Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ed716ad5-27c8-4b91-9e45-b3e1da264301 · outbound
This paper cites On the complexity of reasoning in kleene algebra.
Kleene algebra with commutativity conditions is undecidable On the complexity of reasoning in kleene algebra
Reference 15
- Resolution
- metadata mismatch
- raw_fallback, observed 2026-08-12T14:04:27.180316Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 3a632805-dd67-4043-83f6-347d2027c422 · outbound
This paper cites Left-handed completeness.
Kleene algebra with commutativity conditions is undecidable Left-handed completeness
Reference 16
- Resolution
- verified exact
- doi, observed 2026-08-12T14:04:26.970613Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 6844303a-ae39-4f50-9c8a-311a2ba35472 · outbound
This paper cites Kuznetsov.
Kleene algebra with commutativity conditions is undecidable Kuznetsov
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-12T14:04:26.865515Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 19c72844-85ad-4e93-854b-d478a51702c9 · outbound
This paper cites an unresolved cited work.
Kleene algebra with commutativity conditions is undecidable Unresolved cited work
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-12T14:04:26.947200Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation e165a667-3230-47c2-b6d1-e9126099a303 · outbound
This paper cites On Probabilistic Kleene Algebras, Automata and Simulations , volume 6663.
Kleene algebra with commutativity conditions is undecidable On Probabilistic Kleene Algebras, Automata and Simulations , volume 6663
Reference 19
- Resolution
- verified exact
- doi, observed 2026-08-12T14:04:26.933981Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation 17c8bd7a-f0e3-465c-ba99-a748ec162885 · outbound
This paper cites Kleene coalgebra.
Kleene algebra with commutativity conditions is undecidable Kleene coalgebra
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T14:04:27.348039Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Observation afa327d9-1fe1-4244-935c-8efb157794f8 · outbound
This paper cites On Incorrectness Logic and Kleene Algebra with Top and Tests.
Kleene algebra with commutativity conditions is undecidable On Incorrectness Logic and Kleene Algebra with Top and Tests
Reference 21
- Resolution
- verified exact
- local_arxiv, observed 2026-08-12T14:04:26.920007Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.
Pith citing papers
No inbound Pith citation observations are available.