Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T14:18:40.856128Z
Paper Citation Record · LEDGER
Solving of Regular Equations Revisited (extended version)
As of 16 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:1908.03710.
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
23 of 23 outbound references displayed
- verified exact1
- verified fuzzy17
- unresolved4
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 5bb768b7-1332-4112-830e-1c830211b80a · outbound
This paper cites Implementation of state elimi nation using heuris- tics.
Solving of Regular Equations Revisited (extended version) Implementation of state elimi nation using heuris- tics
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:42.240946Z
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 27726001-b1be-4dc5-9ccc-8d96aa8d42e8 · outbound
This paper cites Enumera tion and generation with a string automata representation.
Solving of Regular Equations Revisited (extended version) Enumera tion and generation with a string automata representation
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:42.230401Z
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 d023b94f-abfd-4520-be4f-d6a9d1f228e1 · outbound
This paper cites an unresolved cited work.
Solving of Regular Equations Revisited (extended version) Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:18:42.135106Z
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 b5382383-004a-465d-a96f-5fd81f100663 · outbound
This paper cites an unresolved cited work.
Solving of Regular Equations Revisited (extended version) Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:18:42.088554Z
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 74e6525b-e772-42d6-98c0-935c124ad566 · outbound
This paper cites Brzozowski.
Solving of Regular Equations Revisited (extended version) Brzozowski
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:42.078329Z
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 29f69147-3bc7-4402-acbe-2975e9c45240 · outbound
This paper cites Brzozowski and Edward J.
Solving of Regular Equations Revisited (extended version) Brzozowski and Edward J
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:41.906507Z
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 c67cdcb9-46df-40be-9539-a43b662f3708 · outbound
This paper cites A general frame- work for the derivation of regular expressions.
Solving of Regular Equations Revisited (extended version) A general frame- work for the derivation of regular expressions
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:41.895910Z
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 beb05e2e-23a1-4721-b3a6-fa654e485cad · outbound
This paper cites Approximation to the smallest regular expression for a given regular language.
Solving of Regular Equations Revisited (extended version) Approximation to the smallest regular expression for a given regular language
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:41.884965Z
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 ab7fb0fa-3ddb-4c5f-810c-1285f1af02f8 · outbound
This paper cites Greedy regular expressio n matching.
Solving of Regular Equations Revisited (extended version) Greedy regular expressio n matching
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:41.771897Z
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 e098035b-97be-4bd9-b3f0-d407f3a6392b · outbound
This paper cites Using proofs by coinduction to find ”t raditional” proofs.
Solving of Regular Equations Revisited (extended version) Using proofs by coinduction to find ”t raditional” proofs
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:41.654311Z
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 919f6a47-3ddc-446e-accd-b14808d74ef4 · outbound
This paper cites From finite automata to regular expressions and back - A summary on descriptional complexity.
Solving of Regular Equations Revisited (extended version) From finite automata to regular expressions and back - A summary on descriptional complexity
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:41.642489Z
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 323acb55-38fc-4d7c-80bf-4064e912e503 · outbound
This paper cites State elimination heuristics for short regu lar expressions.
Solving of Regular Equations Revisited (extended version) State elimination heuristics for short regu lar expressions
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:41.516337Z
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 ff6af60f-eb75-43d0-98a3-17402a2a8faf · outbound
This paper cites Hopcroft, Rajeev Motwani, and Jeffrey D.
Solving of Regular Equations Revisited (extended version) Hopcroft, Rajeev Motwani, and Jeffrey D
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:41.455468Z
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 fec9c79b-af5d-4170-9c06-87dc644f6a4d · outbound
This paper cites an unresolved cited work.
Solving of Regular Equations Revisited (extended version) Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T14:18:41.443370Z
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 f8943e93-3cfc-4bb7-bf16-1ec8667a2a46 · outbound
This paper cites State e limination ordering strategies: Some experimental results.
Solving of Regular Equations Revisited (extended version) State e limination ordering strategies: Some experimental results
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:41.359756Z
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 f67dec25-a2d8-4308-b85d-790de56ba6fe · outbound
This paper cites Converting deterministic finite aut omata to regular expres- sions.
Solving of Regular Equations Revisited (extended version) Converting deterministic finite aut omata to regular expres- sions
Reference 16
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-14T14:18:41.214626Z
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 b2427110-31eb-4393-b637-59050043ccce · outbound
This paper cites Bonsangue, and Jan J.
Solving of Regular Equations Revisited (extended version) Bonsangue, and Jan J
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:41.123845Z
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 0aa18fda-b805-49f0-9569-56467317bb6f · outbound
This paper cites Elements of Automata Theory.
Solving of Regular Equations Revisited (extended version) Elements of Automata Theory
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-14T14:18:40.837556Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bde6dfc8-d3ca-4d92-87be-956312dcef39 · outbound
This paper cites Automata and rational expressions.
Solving of Regular Equations Revisited (extended version) Automata and rational expressions
Reference 19
- Resolution
- verified exact
- local_arxiv, observed 2026-08-14T14:18:40.972970Z
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 921c073e-2d9e-4be6-8f26-0da515ad6806 · outbound
This paper cites POSIX regular exp ression parsing with derivatives.
Solving of Regular Equations Revisited (extended version) POSIX regular exp ression parsing with derivatives
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:41.041306Z
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 3f656e63-9db0-49f8-80d7-f4d81bd529b9 · outbound
This paper cites Derivative-base d diagnosis of regular expression ambiguity.
Solving of Regular Equations Revisited (extended version) Derivative-base d diagnosis of regular expression ambiguity
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:41.031899Z
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 3de5602f-83db-49b3-8efd-a1475283ba4c · outbound
This paper cites Derivatives and par tial derivatives for regular shuffle expressions.
Solving of Regular Equations Revisited (extended version) Derivatives and par tial derivatives for regular shuffle expressions
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:41.021380Z
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 2e46aa6f-c52d-421d-a695-d19deebf6e16 · outbound
This paper cites Derivatives for enhanced regular expre ssions.
Solving of Regular Equations Revisited (extended version) Derivatives for enhanced regular expre ssions
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T14:18:41.010744Z
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.