Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-12T13:27:10.587745Z
Paper Citation Record · LEDGER
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements
As of 13 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:2411.16397.
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-12T06:34:41.77262+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
20 of 20 outbound references displayed
- verified exact0
- verified fuzzy12
- unresolved8
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 3d35d0e4-4067-406c-8d23-df5d2d3aeb48 · outbound
This paper cites Andr´ eka, S.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Andr´ eka, S
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:27:10.967756Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 8370e080-efc9-4e6c-b618-379826578d05 · outbound
This paper cites an unresolved cited work.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T13:27:10.950209Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f84c2af6-58cf-4975-b747-da9de6065164 · outbound
This paper cites Brunet, Reversible Kleene lattices, MFCS, LIPIcs 83, (Schloss Dagstuhl, 2017), pp.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Brunet, Reversible Kleene lattices, MFCS, LIPIcs 83, (Schloss Dagstuhl, 2017), pp
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:27:10.934619Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation f4074297-b503-4c70-9108-e589e52dbb7e · outbound
This paper cites Brunet, A complete axiomatisation of a fragment of lan guage algebra, CSL, LIPIcs 152, (Schloss Dagstuhl, 2020), p.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Brunet, A complete axiomatisation of a fragment of lan guage algebra, CSL, LIPIcs 152, (Schloss Dagstuhl, 2020), p
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:27:10.918180Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 2c9db3d1-ce8e-4ad0-b413-e73c9602da58 · outbound
This paper cites an unresolved cited work.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T13:27:10.901688Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 59c0b430-c4da-46ed-9cdf-bbe2826da117 · outbound
This paper cites an unresolved cited work.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T13:27:10.884968Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation bbb42423-f698-4a97-b23d-53e0e2538d18 · outbound
This paper cites an unresolved cited work.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T13:27:10.868501Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 6b6f5fd2-6ed4-408c-8de4-2deb9a0ef584 · outbound
This paper cites an unresolved cited work.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T13:27:10.850596Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4bee6b7e-eddb-4aa2-a60e-008e774a249e · outbound
This paper cites Kozen and F.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Kozen and F
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:27:10.834724Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 1bb3caa4-7e3b-4d15-b8d5-10b032664da4 · outbound
This paper cites McNaughton and H.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements McNaughton and H
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:27:10.818432Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 0275566f-c93a-48c9-a532-2e7d727ad8b6 · outbound
This paper cites an unresolved cited work.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T13:27:10.798056Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 288bbde9-00b1-46ce-9ec7-5e42408bc388 · outbound
This paper cites Nakamura, Existential calculi of relations with tra nsitive closure: Complexity and edge saturations, LICS , (IEEE, 2023), pp.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Nakamura, Existential calculi of relations with tra nsitive closure: Complexity and edge saturations, LICS , (IEEE, 2023), pp
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:27:10.778640Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 5a1e0824-4dd8-4402-8a6f-4227f72bb04e · outbound
This paper cites Nakamura, Finite relational semantics for language Kleene algebra with comple- ment, CSL, LIPIcs, (Schloss Dagstuhl, 2025 (to appear)).
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Nakamura, Finite relational semantics for language Kleene algebra with comple- ment, CSL, LIPIcs, (Schloss Dagstuhl, 2025 (to appear))
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:27:10.754535Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 1748f030-837e-4a52-ab78-1f487b019c5f · outbound
This paper cites Nakamura and R.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Nakamura and R
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:27:10.738290Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a97db7a2-c0ce-4275-8dbf-2c0e1b1c3b89 · outbound
This paper cites an unresolved cited work.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T13:27:10.720394Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation a23dbd47-dbc0-4ca5-ad43-ec42d80aa2fb · outbound
This paper cites Pous and J.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Pous and J
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:27:10.700916Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 9a187aa1-fefd-49e2-af52-a312667ed09c · outbound
This paper cites an unresolved cited work.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Unresolved cited work
Reference 17
- Resolution
- unresolved
- raw_fallback, observed 2026-08-12T13:27:10.683331Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation bae5356d-2cca-42d6-a6b1-752405021a7b · outbound
This paper cites Tarski, On the calculus of relations, The Journal of Symbolic Logic 6(3) (1941) 73–89.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Tarski, On the calculus of relations, The Journal of Symbolic Logic 6(3) (1941) 73–89
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:27:10.664920Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation 4402f413-28ec-4fa8-a28b-3db82c0ef86d · outbound
This paper cites Thompson, Programming techniques: Regular express ion search algorithm, Com- munications of the ACM 11(6) (1968) 419–422.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Thompson, Programming techniques: Regular express ion search algorithm, Com- munications of the ACM 11(6) (1968) 419–422
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:27:10.648089Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Observation abc0f960-4c44-4265-8b8e-f7d5ff08f2ea · outbound
This paper cites Zhang, A.
Words-to-Letters Valuations for Language Kleene Algebras with Variable and Constant Complements Zhang, A
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-12T13:27:10.629665Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.
Pith citing papers
No inbound Pith citation observations are available.