Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T14:10:27.564255Z
Paper Citation Record · LEDGER
Regular Separability and Intersection Emptiness are Independent Problems
As of 16 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:1908.04038.
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-16T06:30:59.297886+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
35 of 35 outbound references displayed
- verified exact1
- verified fuzzy33
- unresolved1
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation f6e8007f-3c30-4456-92f7-267e5980ce38 · outbound
This paper cites General decidability theorems for infinite-state systems.
Regular Separability and Intersection Emptiness are Independent Problems General decidability theorems for infinite-state systems
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.951238Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ebe1864a-4924-4dbb-bcc8-e0f7f91a8dcd · outbound
This paper cites Some algorithmic problems for pseudovarieties.
Regular Separability and Intersection Emptiness are Independent Problems Some algorithmic problems for pseudovarieties
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.942021Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7227a6d3-bf33-485c-b757-7d71d1277b07 · outbound
This paper cites Transductions and context-free languages.
Regular Separability and Intersection Emptiness are Independent Problems Transductions and context-free languages
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.933255Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f8207ecd-c927-4f11-b262-dbbc42b86703 · outbound
This paper cites Automatic structures.
Regular Separability and Intersection Emptiness are Independent Problems Automatic structures
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.922519Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 20fd6e3f-3a2a-4ac5-8421-998cb391031f · outbound
This paper cites Finite presentations of infinite structures: Automata and interpretations.
Regular Separability and Intersection Emptiness are Independent Problems Finite presentations of infinite structures: Automata and interpretations
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.912186Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3ce19178-26c7-413e-87ad-2ac489938cae · outbound
This paper cites It is undecidable if two regular tree languages can be separated by a deterministic tree-walking automaton.
Regular Separability and Intersection Emptiness are Independent Problems It is undecidable if two regular tree languages can be separated by a deterministic tree-walking automaton
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.900005Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0946517f-210e-4551-bb24-3aa22c78a1f7 · outbound
This paper cites A generic approach to the static analysis of concurrent programs with procedures.
Regular Separability and Intersection Emptiness are Independent Problems A generic approach to the static analysis of concurrent programs with procedures
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.888911Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 638ab5a3-53c8-4f4f-a2c9-8bf7a4426425 · outbound
This paper cites Separability of rational relations in A ^* ^m by recognizable relations is decidable.
Regular Separability and Intersection Emptiness are Independent Problems Separability of rational relations in A ^* ^m by recognizable relations is decidable
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.878577Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a58e1097-f470-4427-a62c-413dccf7ba69 · outbound
This paper cites Regular separability of Parikh automata.
Regular Separability and Intersection Emptiness are Independent Problems Regular separability of Parikh automata
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.868179Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e613f8a7-0e17-4b79-b906-1de620f5d28f · outbound
This paper cites Separability of reachability sets of vector addition systems.
Regular Separability and Intersection Emptiness are Independent Problems Separability of reachability sets of vector addition systems
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.857126Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f99b9612-490a-4006-8d90-360a778f0da5 · outbound
This paper cites Regular separability of one counter automata.
Regular Separability and Intersection Emptiness are Independent Problems Regular separability of one counter automata
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.846673Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation cdabd0c7-f533-4777-bd07-d0b228155fc2 · outbound
This paper cites Narayan Kumar, and Prakash Saivasan.
Regular Separability and Intersection Emptiness are Independent Problems Narayan Kumar, and Prakash Saivasan
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-14T14:10:27.595911Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 940a577a-55d8-426f-a741-e62334c4e3a8 · outbound
This paper cites A characterization for decidable separability by piecewise testable languages.
Regular Separability and Intersection Emptiness are Independent Problems A characterization for decidable separability by piecewise testable languages
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.835500Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 09b36d7f-7072-431d-bfd9-03dc32daf841 · outbound
This paper cites An approach to regular separability in vector addition systems.
Regular Separability and Intersection Emptiness are Independent Problems An approach to regular separability in vector addition systems
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.825721Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e0927464-e8b1-401d-9e97-2aa3ab8b219b · outbound
This paper cites Reset nets between decidability and undecidability.
Regular Separability and Intersection Emptiness are Independent Problems Reset nets between decidability and undecidability
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.816380Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 4642bb01-3a38-4e70-9480-1271fc2a82b0 · outbound
This paper cites A mathematical introduction to logic.
Regular Separability and Intersection Emptiness are Independent Problems A mathematical introduction to logic
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:10:27.494908Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ddfaa7ca-b5ec-4007-8212-fc6b8487a4f4 · outbound
This paper cites Fundamental structures in well-structured infinite transition systems.
Regular Separability and Intersection Emptiness are Independent Problems Fundamental structures in well-structured infinite transition systems
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.798301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ea2a85b5-d020-418d-bee1-33516ef39a2e · outbound
This paper cites Gool and Benjamin Steinberg.
Regular Separability and Intersection Emptiness are Independent Problems Gool and Benjamin Steinberg
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.787759Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8a52e766-bc4d-4a65-ad65-c44f3dfc5cbe · outbound
This paper cites Deciding piecewise testable separability for regular tree languages.
Regular Separability and Intersection Emptiness are Independent Problems Deciding piecewise testable separability for regular tree languages
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.777941Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 560bf26d-c10f-457e-b8cc-c1768698df84 · outbound
This paper cites Luke Ong.
Regular Separability and Intersection Emptiness are Independent Problems Luke Ong
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.768298Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8df0e37e-0662-4f26-b592-f1732cebdb97 · outbound
This paper cites Context-free languages and turing machine computations.
Regular Separability and Intersection Emptiness are Independent Problems Context-free languages and turing machine computations
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.758344Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b5539f44-a114-4247-a94d-889b34f0ceed · outbound
This paper cites Hunt III.
Regular Separability and Intersection Emptiness are Independent Problems Hunt III
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.747966Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8c6accf5-ec2d-4911-80b2-1b14674afc77 · outbound
This paper cites Regular separability of one counter automata.
Regular Separability and Intersection Emptiness are Independent Problems Regular separability of one counter automata
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.737923Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation cd6e170b-7ebd-4b77-941a-a233c447facd · outbound
This paper cites Undecidable problems in unreliable computations.
Regular Separability and Intersection Emptiness are Independent Problems Undecidable problems in unreliable computations
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.726979Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 234bad7c-5ef3-4703-9fc3-e8e7453fa8b6 · outbound
This paper cites On context-free languages.
Regular Separability and Intersection Emptiness are Independent Problems On context-free languages
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.715604Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation be16ec37-9f1b-4aba-8798-90ebb12954aa · outbound
This paper cites Separating regular languages with two quantifiers alternations.
Regular Separability and Intersection Emptiness are Independent Problems Separating regular languages with two quantifiers alternations
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.706358Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 9a702451-4f4e-4933-b7b9-ae1f22d90f01 · outbound
This paper cites Separating regular languages by piecewise testable and unambiguous languages.
Regular Separability and Intersection Emptiness are Independent Problems Separating regular languages by piecewise testable and unambiguous languages
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.696210Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 23adbb52-e933-4971-a648-12b70ea39fdd · outbound
This paper cites Separation and the successor relation.
Regular Separability and Intersection Emptiness are Independent Problems Separation and the successor relation
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.684827Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b285232e-fcf7-4be1-92bc-793cdc987925 · outbound
This paper cites Separating regular languages with first-order logic.
Regular Separability and Intersection Emptiness are Independent Problems Separating regular languages with first-order logic
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.674045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ab0e8ec5-6a46-4022-af60-f92ab25ee71b · outbound
This paper cites Concatenation hierarchies: New bottle, old wine.
Regular Separability and Intersection Emptiness are Independent Problems Concatenation hierarchies: New bottle, old wine
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.662963Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f1c11587-ccda-4fbf-89bd-584e98345ad1 · outbound
This paper cites Separation for dot-depth two.
Regular Separability and Intersection Emptiness are Independent Problems Separation for dot-depth two
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.651386Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5d84a273-dba6-4317-ae39-a3ea186ca1f3 · outbound
This paper cites The covering problem.
Regular Separability and Intersection Emptiness are Independent Problems The covering problem
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.640441Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 539f7f59-8501-4635-895c-00c4b2e3117c · outbound
This paper cites Szymanski and John H.
Regular Separability and Intersection Emptiness are Independent Problems Szymanski and John H
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.630021Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 3ab50685-8dcc-4751-8fcf-46578f8f5af9 · outbound
This paper cites An approach to computing downward closures.
Regular Separability and Intersection Emptiness are Independent Problems An approach to computing downward closures
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.617678Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d3212aed-3597-45bf-ba12-a4584b64c97f · outbound
This paper cites Separability by piecewise testable languages and downward closures beyond subwords.
Regular Separability and Intersection Emptiness are Independent Problems Separability by piecewise testable languages and downward closures beyond subwords
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:10:27.606925Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.