Paper Citation Record · LEDGER

A Myhill-Nerode Type Characterization of 2detLIN Languages

As of 13 August 2026, this Paper Citation Record lists 39 of 39 outbound references and 0 inbound Pith citation observations for arXiv:2507.15316.

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

pith.paper-citation-record.v1
2507.15316 v1

Coverage vector

measured 39 of 39 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T15:50:25.425523Z

measured 39 of 39 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-13T06:32:02.005865+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

39 of 39 outbound references displayed

verified exact18
verified fuzzy6
unresolved8
parse uncertain0
malformed identifier6
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 6826a9e8-fcd6-4e81-a625-4657dd3477f4 · outbound

This paper cites Amar & Gianfranco R.

A Myhill-Nerode Type Characterization of 2detLIN Languages Amar & Gianfranco R

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T15:50:22.332008Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3dfa6eb-c78a-4791-9a07-dbc1f67242ac · outbound

This paper cites Amar & Gianfranco R.

A Myhill-Nerode Type Characterization of 2detLIN Languages Amar & Gianfranco R

Reference 2

Resolution: verified exact; doi, observed 2026-08-06T15:50:29.262058Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 8d7c8b2a-e93a-41bc-ae2d-2a9d45c26ab5 · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 3

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T15:50:29.719886Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 59e2a442-b3f7-4c27-8277-c3abc3096d7a · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 4

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T15:50:29.844225Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation f445ba2f-88b0-424f-ae2d-db009224b9d2 · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 5

Resolution: verified exact; doi, observed 2026-08-06T15:50:29.010670Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation e43244ba-9514-4966-beb0-7d16ffeff808 · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-06T15:50:29.835119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 91c92eec-c074-4360-a2f7-111310b18f7f · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 7

Resolution: verified exact; doi, observed 2026-08-06T15:50:28.779388Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5bddae45-922f-4756-9e2b-0593ddbadeff · outbound

This paper cites Hopcroft & Jeffrey D.

A Myhill-Nerode Type Characterization of 2detLIN Languages Hopcroft & Jeffrey D

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:50:29.827250Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation a7770844-7959-4790-989f-9efb526c4182 · outbound

This paper cites Pumping lemmas for linear and nonlinear context-free languages.

A Myhill-Nerode Type Characterization of 2detLIN Languages Pumping lemmas for linear and nonlinear context-free languages

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-06T15:50:28.487010Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d36c738c-d635-4ad3-9041-e1541c2320ae · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-06T15:50:29.819213Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d1f5ef6b-cd2a-44b2-8565-15eeec120afa · outbound

This paper cites Acta Informatica 59(5), pp.

A Myhill-Nerode Type Characterization of 2detLIN Languages Acta Informatica 59(5), pp

Reference 11

Resolution: verified exact; doi, observed 2026-08-06T15:50:28.274575Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 4050fc48-b915-4fc6-8f30-632c15e8964c · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-06T15:50:29.809823Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 3adaa140-0234-4227-9473-b75cbbf82a25 · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 13

Resolution: verified exact; doi, observed 2026-08-06T15:50:28.054953Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 107b6b64-7c1e-418c-b170-dc90eb5c09e1 · outbound

This paper cites In Cliff B.

A Myhill-Nerode Type Characterization of 2detLIN Languages In Cliff B

Reference 14

Resolution: verified exact; doi, observed 2026-08-06T15:50:27.697725Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 40d4b7f2-3624-43ba-9af3-a5214f4b0e0d · outbound

This paper cites Myhill (1957): Finite automata and the representation of events.

A Myhill-Nerode Type Characterization of 2detLIN Languages Myhill (1957): Finite automata and the representation of events

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:50:29.801106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation d65bbcde-8239-4c48-b893-6ded90d509b2 · outbound

This paper cites In Max H.

A Myhill-Nerode Type Characterization of 2detLIN Languages In Max H

Reference 16

Resolution: verified exact; doi, observed 2026-08-06T15:50:27.387165Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 8cf70fb0-d039-4058-9e13-58b00df05b63 · outbound

This paper cites In: Mathematical Theory and Computational Practice, CiE 2009, Abstract Book let, Heidelberg, Germany, pp.

A Myhill-Nerode Type Characterization of 2detLIN Languages In: Mathematical Theory and Computational Practice, CiE 2009, Abstract Book let, Heidelberg, Germany, pp

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:50:29.791802Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation b4a874de-a0ad-4abe-99a1-2252dac104be · outbound

This paper cites Triangle 8, pp.

A Myhill-Nerode Type Characterization of 2detLIN Languages Triangle 8, pp

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:50:29.783299Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 1204b94d-df1e-4c24-b657-fbfd5dfbcd46 · outbound

This paper cites Journal of Logic and Computation 23(4), pp.

A Myhill-Nerode Type Characterization of 2detLIN Languages Journal of Logic and Computation 23(4), pp

Reference 19

Resolution: verified exact; doi, observed 2026-08-06T15:50:27.250935Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation ed95f780-84b4-4a44-a89b-46c30c368f47 · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-06T15:50:23.766376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 156f082d-29f5-4d79-a34d-169111abdc7d · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 21

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T15:50:29.774550Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 5dd71027-97e2-4588-b421-5a3dcd3e8488 · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 22

Resolution: verified exact; doi, observed 2026-08-06T15:50:27.164551Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 97b085f8-7809-4691-84e6-ccb2a8b30004 · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 23

Resolution: malformed identifier; no resolver link, observed 2026-08-06T15:50:24.029598Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f94222b-b330-4533-bda5-02579335c315 · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 24

Resolution: verified exact; doi, observed 2026-08-06T15:50:26.976587Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 7c45d6f0-a4b7-410b-8ce8-be6cd19c4f34 · outbound

This paper cites Annales Mathematicae et Informaticae 58, pp.

A Myhill-Nerode Type Characterization of 2detLIN Languages Annales Mathematicae et Informaticae 58, pp

Reference 25

Resolution: verified exact; doi, observed 2026-08-06T15:50:26.669948Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 4966d2f0-a190-4e44-88fa-902742120631 · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 26

Resolution: verified exact; doi, observed 2026-08-06T15:50:26.399958Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 6458aa3e-2bf1-499b-9f1b-bdb14a2fb53b · outbound

This paper cites RAIRO Theor.

A Myhill-Nerode Type Characterization of 2detLIN Languages RAIRO Theor

Reference 27

Resolution: verified exact; raw_fallback, observed 2026-08-06T15:50:29.578933Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 21b602b9-c3ce-4d43-b94c-c34c20681b49 · outbound

This paper cites RAIRO Theor.

A Myhill-Nerode Type Characterization of 2detLIN Languages RAIRO Theor

Reference 28

Resolution: verified exact; raw_fallback, observed 2026-08-06T15:50:29.506103Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 443c52d3-6427-49ac-a7a8-6255ccee1d8a · outbound

This paper cites Acta Inf.

A Myhill-Nerode Type Characterization of 2detLIN Languages Acta Inf

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T15:50:24.569566Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25ec4930-33de-4b66-8598-2c42ca2381c7 · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 30

Resolution: verified exact; doi, observed 2026-08-06T15:50:26.031938Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 27983f7b-bf02-44be-96f1-a2d56e8fbade · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T15:50:24.722916Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4cbc6ce7-7c3f-455c-8bc8-2894ea575430 · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 32

Resolution: verified exact; doi, observed 2026-08-06T15:50:25.820960Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 0e7deee1-b5dc-4440-b147-e700a7e73d33 · outbound

This paper cites Nerode (1958): Linear automaton transformations.

A Myhill-Nerode Type Characterization of 2detLIN Languages Nerode (1958): Linear automaton transformations

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:50:29.765640Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 1a2045dd-df1e-4c02-a5db-52e2adbfb225 · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 34

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T15:50:29.757136Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation bc708655-2b9d-4655-a1a5-6be60ebcf30b · outbound

This paper cites Texts in Theoretical Computer Science.

A Myhill-Nerode Type Characterization of 2detLIN Languages Texts in Theoretical Computer Science

Reference 35

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T15:50:29.749229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 10b8e67a-642e-49b6-9dbd-905206290cac · outbound

This paper cites Springer, doi: 10.1007/ 978-3-642-59126-6.

A Myhill-Nerode Type Characterization of 2detLIN Languages Springer, doi: 10.1007/ 978-3-642-59126-6

Reference 36

Resolution: malformed identifier; raw_fallback, observed 2026-08-06T15:50:29.740174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 6c77823b-ddaf-41b9-b6dc-971fdc326335 · outbound

This paper cites an unresolved cited work.

A Myhill-Nerode Type Characterization of 2detLIN Languages Unresolved cited work

Reference 37

Resolution: verified exact; doi, observed 2026-08-06T15:50:25.591808Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 002e35f8-220e-44d9-800d-ae399f2e4305 · outbound

This paper cites Semenov (1974): Regularity of languages k-linear for various k.

A Myhill-Nerode Type Characterization of 2detLIN Languages Semenov (1974): Regularity of languages k-linear for various k

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T15:50:29.731351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-13T06:32:02.005865+00:00.

Observation 18339e53-798f-4751-b4cf-26b8380e0e18 · outbound

This paper cites Sempere & Pedro Garc´ ıa (1994):A Characterization of Even Linear Languages and its Applica tion to the Learning Problem.

A Myhill-Nerode Type Characterization of 2detLIN Languages Sempere & Pedro Garc´ ıa (1994):A Characterization of Even Linear Languages and its Applica tion to the Learning Problem

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-06T15:50:25.425523Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.