Paper Citation Record · LEDGER

Dynamic Membership for Regular Tree Languages

As of 21 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2504.17536.

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

pith.paper-citation-record.v1
2504.17536 v2

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T10:49:34.040867Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

29 of 29 outbound references displayed

verified exact8
verified fuzzy13
unresolved3
parse uncertain0
malformed identifier5
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation adb3a395-6973-4e9f-88f1-097e5004ebe6 · outbound

This paper cites Marked ancestor problems http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.71.3834&rep=rep1&type=pdf.

Dynamic Membership for Regular Tree Languages Marked ancestor problems http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.71.3834&rep=rep1&type=pdf

Reference 1

Resolution: malformed identifier; raw_fallback, observed 2026-08-16T10:49:34.666875Z

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 fa154955-7320-4cca-83f5-3925cc73e72d · outbound

This paper cites Enumeration on Trees under Relabelings.

Dynamic Membership for Regular Tree Languages Enumeration on Trees under Relabelings

Reference 2

Resolution: verified exact; local_arxiv, observed 2026-08-16T10:49:34.405627Z

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 b29fbc9f-f132-4c8e-8268-42d047ccabe9 · outbound

This paper cites Dynamic Membership for Regular Languages.

Dynamic Membership for Regular Tree Languages Dynamic Membership for Regular Languages

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-16T10:49:34.385010Z

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 74ce6067-94e0-4e25-add2-097de8d2540b · outbound

This paper cites Locality and Centrality: The Variety ZG.

Dynamic Membership for Regular Tree Languages Locality and Centrality: The Variety ZG

Reference 4

Resolution: verified exact; local_arxiv, observed 2026-08-16T10:49:34.363429Z

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 14bdd16a-d250-4177-b260-9926fbe87126 · outbound

This paper cites http://db.ucsd.edu/wp-content/uploads/pdfs/212.pdf Incremental validation of XML documents.

Dynamic Membership for Regular Tree Languages http://db.ucsd.edu/wp-content/uploads/pdfs/212.pdf Incremental validation of XML documents

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:49:34.651696Z

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 ccf48943-6950-4235-90c6-910d12cdb2a6 · outbound

This paper cites On the complexity of regular languages.

Dynamic Membership for Regular Tree Languages On the complexity of regular languages

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:49:34.637888Z

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 02b2fd9a-311c-4ab6-bb21-3a6462713fae · outbound

This paper cites First-order expressibility of languages with neutral letters or: The C rane B each conjecture.

Dynamic Membership for Regular Tree Languages First-order expressibility of languages with neutral letters or: The C rane B each conjecture

Reference 7

Resolution: verified exact; doi, observed 2026-08-16T10:49:34.117683Z

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 1a0c40dd-a24c-49c2-b3b4-2b9e941fc8f7 · outbound

This paper cites Parallel algorithms with optimal speedup for bounded treewidth.

Dynamic Membership for Regular Tree Languages Parallel algorithms with optimal speedup for bounded treewidth

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:49:34.621146Z

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 dc6e3306-c096-4b7f-97a8-72572567ceeb · outbound

This paper cites Forest algebras.

Dynamic Membership for Regular Tree Languages Forest algebras

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:49:34.607269Z

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 6649e685-615d-4679-a8cf-45acc7b6ff5a · outbound

This paper cites Recognisable languages over monads.

Dynamic Membership for Regular Tree Languages Recognisable languages over monads

Reference 10

Resolution: verified exact; local_arxiv, observed 2026-08-16T10:49:34.344563Z

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 1d449f8f-ff51-413d-b076-8c0c0f9085ed · outbound

This paper cites Tree automata: T echniques and applications, 2008.

Dynamic Membership for Regular Tree Languages Tree automata: T echniques and applications, 2008

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:49:34.593657Z

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 84d96916-7a53-4f3e-85e1-b48cacf7f20a · outbound

This paper cites Automata, Languages and Machines, Vol.

Dynamic Membership for Regular Tree Languages Automata, Languages and Machines, Vol

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:49:34.579046Z

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 1fcb6c63-9df3-4aa0-b511-3e7ba2f42f2a · outbound

This paper cites Dynamic algorithms for the Dyck languages https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.57.4615&rep=rep1&type=pdf.

Dynamic Membership for Regular Tree Languages Dynamic algorithms for the Dyck languages https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.57.4615&rep=rep1&type=pdf

Reference 13

Resolution: malformed identifier; raw_fallback, observed 2026-08-16T10:49:34.565053Z

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 b7820d6d-e984-4eb6-95ac-92cb68fec104 · outbound

This paper cites The cell probe complexity of dynamic data structures https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.453.9085&rep=rep1&type=pdf.

Dynamic Membership for Regular Tree Languages The cell probe complexity of dynamic data structures https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.453.9085&rep=rep1&type=pdf

Reference 14

Resolution: malformed identifier; raw_fallback, observed 2026-08-16T10:49:34.549818Z

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 bfea73eb-2407-4e56-8350-a8003dd42754 · outbound

This paper cites Optimal tree contraction in the EREW model.

Dynamic Membership for Regular Tree Languages Optimal tree contraction in the EREW model

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:49:34.535549Z

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 2fb7e7a2-7ca4-4072-b893-745360964eb0 · outbound

This paper cites Dynamic Complexity of Formal Languages.

Dynamic Membership for Regular Tree Languages Dynamic Complexity of Formal Languages

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-08-16T10:49:34.319646Z

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 40bd6041-c7c6-4ceb-9635-3bf229a9e055 · outbound

This paper cites Fast algorithms for finding nearest common ancestors.

Dynamic Membership for Regular Tree Languages Fast algorithms for finding nearest common ancestors

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:49:34.521697Z

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 81aaf9a1-6dd6-44d0-b6af-92af1acc099f · outbound

This paper cites http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.29.6315&rep=rep1&type=pdf Hardness results for dynamic problems by extensions of F redman and S aks' chronogram method.

Dynamic Membership for Regular Tree Languages http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.29.6315&rep=rep1&type=pdf Hardness results for dynamic problems by extensions of F redman and S aks' chronogram method

Reference 18

Resolution: malformed identifier; raw_fallback, observed 2026-08-16T10:49:34.507878Z

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 ad9f7370-9151-48ab-a850-22de64c3f879 · outbound

This paper cites A Ramsey theorem for finite monoids.

Dynamic Membership for Regular Tree Languages A Ramsey theorem for finite monoids

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-16T10:49:33.995979Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6292dca6-f33b-4d1c-9526-aed96c80e5b5 · outbound

This paper cites Bounded-depth circuits: S eparating wires from gates.

Dynamic Membership for Regular Tree Languages Bounded-depth circuits: S eparating wires from gates

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-16T10:49:34.001392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e383dba-0f7e-4f26-907d-a303b660554c · outbound

This paper cites an unresolved cited work.

Dynamic Membership for Regular Tree Languages Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-16T10:49:34.005484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d40c06d0-ef98-4bcd-ba61-43ac8841f4a4 · outbound

This paper cites Parallel tree contraction and its application.

Dynamic Membership for Regular Tree Languages Parallel tree contraction and its application

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:49:34.493907Z

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 6267a27e-6913-4648-92d4-78a2b98cb645 · outbound

This paper cites Mathematical foundations of automata theory, 2014.

Dynamic Membership for Regular Tree Languages Mathematical foundations of automata theory, 2014

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:49:34.479126Z

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 03873308-d707-4a6a-b9b0-1b05e44098e4 · outbound

This paper cites Mathematical foundations of automata theory.

Dynamic Membership for Regular Tree Languages Mathematical foundations of automata theory

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:49:34.464400Z

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 627ad716-7ca2-41b0-9790-629dad952c1f · outbound

This paper cites an unresolved cited work.

Dynamic Membership for Regular Tree Languages Unresolved cited work

Reference 25

Resolution: verified exact; doi, observed 2026-08-16T10:49:34.093741Z

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 a8031206-b56b-401b-b292-612ae033a135 · outbound

This paper cites Dynamic word problems http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.868.4450&rep=rep1&type=pdf.

Dynamic Membership for Regular Tree Languages Dynamic word problems http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.868.4450&rep=rep1&type=pdf

Reference 26

Resolution: malformed identifier; raw_fallback, observed 2026-08-16T10:49:34.450112Z

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 b157570e-3bbb-4202-91e3-46851abe7215 · outbound

This paper cites The variety generated by finite nilpotent monoids.

Dynamic Membership for Regular Tree Languages The variety generated by finite nilpotent monoids

Reference 27

Resolution: verified exact; doi, observed 2026-08-16T10:49:34.077754Z

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 d8efbe2f-823e-45df-ba0a-8d8653a21b1d · outbound

This paper cites Dynamic complexity of regular languages: Big changes, small work.

Dynamic Membership for Regular Tree Languages Dynamic complexity of regular languages: Big changes, small work

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:49:34.435434Z

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 5d94babf-2c27-4567-99dd-49af365f350c · outbound

This paper cites The complexity of relational query languages.

Dynamic Membership for Regular Tree Languages The complexity of relational query languages

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T10:49:34.420996Z

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.