Pith. sign in

Paper Citation Record · LEDGER

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic

As of 17 August 2026, this Paper Citation Record lists 52 of 52 outbound references and 0 inbound Pith citation observations for arXiv:2607.05701.

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

pith.paper-citation-record.v1
2607.05701 v2

Coverage vector

measured 52 of 52 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-11T03:29:06.145337Z

measured 52 of 52 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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

52 of 52 outbound references displayed

  • verified exact3
  • verified fuzzy26
  • unresolved22
  • parse uncertain0
  • malformed identifier0
  • metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a61a755e-93fc-4090-b6e2-6d4e0330c5fd · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 1

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.797742Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:93be0b8fdc041bcf2ed908c07075719d1f760284512798a90789bfdfe4294c0e

Observation 0f68f19d-5f21-4cb4-ae3d-7329cce907ae · outbound

This paper cites Parikh , title =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Parikh , title =

Reference 2

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.781076Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:906976cac9f9152479372c8b5c0f268cca0081b3b068c71118620b8dbc077378

Observation 8acdda4e-b9da-4ba3-bf98-4b4e59fbfb0a · outbound

This paper cites Parikh automata and monadic theories of -words , booktitle =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Parikh automata and monadic theories of -words , booktitle =

Reference 3

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.589662Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:52c6723ebc85124e53fa8796c6ac851aae682598936de5a6aaaf1b115e723a1a

Observation 2364535b-df87-41ad-a199-f57c2c95df43 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 4

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.569306Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:1203551077705822edb654daa2b556317d5ec578719737f6850e2dd8c139e4ca

Observation 9e07971e-4bcc-4b8d-a029-f3e3af39e630 · outbound

This paper cites Spanier , title =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Spanier , title =

Reference 5

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.629001Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:1f215e7ef8aa18b49e340eec3b705e1461757868d443dfca95c6a9ef84d82a23

Observation 340e3817-0c54-4072-93dc-2c0422514b32 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 6

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.692638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:cb7bd308d5bd039953f3eb9b46612f2485f5bd5b99bc2caeb8b243b88668c448

Observation b87de4ad-b8e8-47f6-bb29-ecc6e1bf2f46 · outbound

This paper cites Logic and p -recognizable sets of integers , journal =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Logic and p -recognizable sets of integers , journal =

Reference 7

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.548681Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:dd3e799ef843ee82e1fed94b7d70bfb6421d55299494a81f098e59ab29e3e6a8

Observation 2ded212c-34f9-4657-a9b6-6d20326ad743 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 8

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.652623Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:d14f95ee48e1ff1ec0627a6aedeec6e8788719611af5b39f7ef8e90e39ab9849

Observation eca3f4fb-1dc1-4aac-ac6d-06afafb5d63f · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 9

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.602796Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:f38c3ac5ba28881427b1585d52ce320a0717714c54f42f6dc73619610abca3dc

Observation 8dfd472e-89a6-40d9-94c5-1f644ab3e386 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 10

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.491604Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:521861bfae4bc5db5a31d1c4698e007a8ade13823020f2a44cf51b45009d4eeb

Observation d7d31d68-4913-468e-b586-14b46df7fed6 · outbound

This paper cites Gurari , title =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Gurari , title =

Reference 11

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.435204Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:bcb7c592e600a8d67e6003695f639643a354508a7912d8af9e80d749a6458eae

Observation 3c71afac-aafc-4c20-b64d-4a5598be083c · outbound

This paper cites Cherniavsky , title =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Cherniavsky , title =

Reference 12

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.413833Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:0b014b3a5b177d9b60bde4cd25b412d8c051a636c92a894bbc019fa62be2c3c3

Observation 5960b54d-1904-4745-9739-b10a80852877 · outbound

This paper cites Ibarra , title =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Ibarra , title =

Reference 13

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.455467Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:773ee95cb329d4ec70c22f4bc288185bf0d28aba77ee43d6f3ad9d8dd4e3bc38

Observation 224c8fe9-3d39-47a7-b59e-56978249d3a1 · outbound

This paper cites Gurari and Oscar H.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Gurari and Oscar H

Reference 14

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.510639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:36c7ae70ac326d58690767722706ca1f31904e011b90c13dc3e8899bc312c4e4

Observation 36ce65d4-6bb1-4bcf-ab75-a3c26695e016 · outbound

This paper cites Ibarra and Brian S.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Ibarra and Brian S

Reference 15

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.529343Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:86baee3291fcca5e7cdf75a725599cff4b32a81fe7172d04a3e34f79a4626858

Observation 1c5421bb-f0a6-4ba9-92ea-ffa90f0cf6a8 · outbound

This paper cites Meyer and Dennis M.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Meyer and Dennis M

Reference 16

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.434962Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:9a7c077936b1a1df6568f3c6ca1ce868a1e92cd326d3e7adcee5eddf95ab8851

Observation ccaedf12-8308-471e-af18-88e6a64b30a5 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 17

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.350040Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:318df41a966aa9c44daf54a5696d1ea73d7074adabcd9b93b49416a66930c327

Observation f7cfdca5-a1cf-4715-8346-76fbd3e28c61 · outbound

This paper cites ACM Transactions on Computational Logic , volume =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic ACM Transactions on Computational Logic , volume =

Reference 18

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.373471Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:f61d59307f84f947d451ab8dce3f33316c968b823feb267ed5015497e0088523

Observation ca0f91dc-f954-429f-ac28-5ab487d47753 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 19

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.495523Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:7a4efc64415957875ed745b6f1806368512c8825a7e157b1834dd3d082a906ca

Observation 780055cc-d758-450c-940c-46dfb4b3cbaf · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 20

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.724591Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:f73ae066b30302dbb74078e63ade2bedc04d7ccff2139083a4fd8f67d5f7e6ac

Observation ddf264e5-d528-41e8-a1e7-050587488def · outbound

This paper cites Journal of Symbolic Computation , volume =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Journal of Symbolic Computation , volume =

Reference 21

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.270323Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:5785cedb197dc1883692a677d06395cea5ef383b39ff3042637370262be2b9fd

Observation d0919e1d-d569-4be7-9c91-7038bfae9bda · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 22

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.253061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:a9caa76bef9c0ff91f452ff7d611aa2ce372c3d3052e3dfac3d52e79da14e054

Observation 39320aa7-4e9d-4f50-9202-f5b775fbcb6f · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 23

Resolution
verified exact
doi, observed 2026-07-11T03:37:45.672704Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:454f347b43e5c5af93dd7413b914bdd4a2fcc50d956c403f099770042eeb5a31

Observation 0162d9dc-b315-45d5-bbf8-187e9f08dcd6 · outbound

This paper cites The taming of the s emi-linear set.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic The taming of the s emi-linear set

Reference 24

Resolution
verified exact
doi, observed 2026-07-11T03:37:45.647532Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:025dfc32c52e731f6e980388822d06432b75e77f643487744fbd11bf0a419bd3

Observation af6891a2-17b3-43ec-9696-afca3081db01 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 25

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.392719Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:1908a7a73fa3d9f093a3cdf8e082d694f8fce968e2f6899dde3cfdb0dcd2cf00

Observation c21c1920-b757-4345-b5d4-ebcd665aad77 · outbound

This paper cites Starchak , editor =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Starchak , editor =

Reference 26

Resolution
verified exact
doi, observed 2026-07-11T03:37:45.694581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:e76f57ebc99e17b7e5787c0072fb6f2f27cc4559a22ef6c43ce7a5bd15e88b79

Observation 766f92d8-5ea7-42cb-beb5-ac8342dc453a · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 27

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.608639Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:c13b7ec322aa36bbf624acfaf2e61cc22e9026131e7e1c07979d47dcd7ea40b6

Observation 13a5c1f1-cab9-4d9b-aea7-235cd39dde83 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 28

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.712777Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:b9a14710e1def371281e55d3308d1d93bb94d3a8321b5a42bdd5c526e6ff8dda

Observation 490628f4-dba8-4617-8f63-064be0aded58 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 29

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.733174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:3ee3c2a7a2c00e4c6455d9588d8fae23472f4c6607c62a4e45d0465298400c86

Observation 5d0e4ba0-e435-4806-b7bd-a777409aeae7 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 30

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.217971Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:ff49d5018d1c7e07a08577298ce2280e81fbf468a945e545c5d462a1bb0e40b3

Observation 44435384-0935-4844-8903-30d42bc6cc50 · outbound

This paper cites The Complexity of Separability for Semilinear Sets and.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic The Complexity of Separability for Semilinear Sets and

Reference 31

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.199762Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:d2aeed5648ba5ca6d40663a6441dc57bc1ee6b7e1084610aae4786ea921623f9

Observation 6202eba3-2669-42e7-8315-57d71d37ead8 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 32

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.179417Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:754aa88fb229137e7b7a5ad0ea5fc971d8df3637cefe1d3b9afd35c3cf034e66

Observation 80c856c0-37ef-4a2e-91cc-92e4b2713916 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 33

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.161503Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:5d307385fd21c99dab3a4436010a703bffafc0e8ba410a4a7020d0c38d88925d

Observation 56fb4b73-4f0f-4ed6-be98-40f22f0f7514 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 34

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.107127Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:52a06a0e32204d776bb5351808230f0a30c190f4979390143f40bc6dc952a6aa

Observation 1e9944f8-5378-4d3d-9cbf-f78ec23104ca · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 35

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.041597Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:a8ea3c0c0310bf0855896dc00f315a33d8ee41867e5d0d6cd397aee825cae5e9

Observation 3e726369-6641-4044-a726-af035d8b33b5 · outbound

This paper cites On Flatness for 2-Dimensional Vector Addition Systems with States , booktitle =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic On Flatness for 2-Dimensional Vector Addition Systems with States , booktitle =

Reference 36

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.062980Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:36effa319d09ecda164a285c2e887fb50f0f405b849be3de9270d8a0dcf7e3f2

Observation 8ec3fdf0-2644-44e0-879e-e0d34bfd2d21 · outbound

This paper cites Reachability in Two-Dimensional Vector Addition Systems with States Is.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Reachability in Two-Dimensional Vector Addition Systems with States Is

Reference 37

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.087335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:e709840a44206c2b0fb8af2cc3d9445db0ba9d1fd798c495ff91768328b0facf

Observation 3a1b2309-d10a-4674-a29e-a6e755d1c1e4 · outbound

This paper cites Flat Acceleration in Symbolic Model Checking , booktitle =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Flat Acceleration in Symbolic Model Checking , booktitle =

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.142900Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:8f5400ee2d2de0914f8161d1bf2bf8a23d1d717098354580df2378c24164396b

Observation 28bf297d-7bdd-4876-bbb5-8b3beb2af0a6 · outbound

This paper cites Complexity Analysis of Continuous.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Complexity Analysis of Continuous

Reference 39

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.024097Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:824fe025e617b6ea89fc969775e563c87294730462fff8f8967bceb057df73bf

Observation fb8ef0ad-bf7c-4424-86c2-41c4910a1d00 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 40

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.102941Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:54dfa55aa146533f536c7b696214933b8f00049173bafd36811252167a258364

Observation fa94c357-8ab7-4ed2-aecb-23d44eeed390 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 41

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.144219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:6b85a454fa27a8403a44fb7ebaf5459e68ebc5294ea038d1454f2e950b12f832

Observation d8e9c03d-1c61-44f7-9ef8-c2583fcf3281 · outbound

This paper cites Local Search for.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Local Search for

Reference 42

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.197961Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:4213ba38eef49caab21b65480ae8f12140f503155ecda326aa1c8b61071426df

Observation ad40c7d0-b199-4e80-a8c8-e176ab0d9b41 · outbound

This paper cites An Automata-Based Decision Procedure for.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic An Automata-Based Decision Procedure for

Reference 43

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.241740Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:01da6d129f8854dafbbacd1b3ee8e533eaa2c271423d2f97507367678601c3a1

Observation 74154c60-f370-4fa6-875a-a41abb955dd4 · outbound

This paper cites an unresolved cited work.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Unresolved cited work

Reference 44

Resolution
unresolved
raw_fallback, observed 2026-07-11T03:37:55.124510Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:3cafc6757ad4ebd3b070874f3bf4116f3a333afeb4e2b0eefa3f2a8d9dea1534

Observation e682026c-8507-4f2d-8bfd-42369790562f · outbound

This paper cites Fischer and Michael O.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Fischer and Michael O

Reference 45

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.235226Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:353849c906e30ebfda51419ed7b92c6acf7a551f3e4f81f324345749caf85eb1

Observation 136dcf0a-ff1c-41d2-a771-5ffe5cf46281 · outbound

This paper cites Theoretical Computer Science , volume =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Theoretical Computer Science , volume =

Reference 46

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.744263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:f690040ffffa1a2357e5f7220921218ed8555e3e7c8b3f75091165b88e290725

Observation 057e4109-0c27-4626-ade2-54bb96201a55 · outbound

This paper cites Akshay and A.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Akshay and A

Reference 47

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.655471Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:439c5a2bfe8238a6d753d0bdadcf9787dde66b76f34c9f553e91c3ef120eda6f

Observation ad074a0b-2f5c-43f0-b2c8-eeb011b3a288 · outbound

This paper cites Definable Groups in Models of.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Definable Groups in Models of

Reference 48

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.680044Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:d0afa00019b75e84c034622651316686b77a20aebdbf69b3c631a0fe9f3b86f8

Observation 588fe648-3855-44c7-b394-8621acb85937 · outbound

This paper cites Groups Definable in.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Groups Definable in

Reference 49

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.703670Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:d1618e825e5817ebc7613795741411a33cc1c5a824057a47e05c3d557a331cc7

Observation 6d4799b6-f789-41ce-8271-49e462aaa029 · outbound

This paper cites Linear Orders in Presburger Arithmetic.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Linear Orders in Presburger Arithmetic

Reference 50

Resolution
metadata mismatch
local_arxiv, observed 2026-07-11T03:37:46.972589Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:e09a31a7faab17a8468554f49ca7ae368623c70de4b4f7bf686380e6d23f0267

Observation 95ae2149-7a97-4a6f-9df7-1bd8d199d53b · outbound

This paper cites SMT Workshop 2022 , year =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic SMT Workshop 2022 , year =

Reference 51

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.762725Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:08c3b76a359ef81cf57263b7cc45cae8e4b343c51ee2575d26159f84618631b1

Observation 338f772b-8b52-436a-9d7d-16a109b7875b · outbound

This paper cites Educational Times , volume =.

Extending the Ginsburg-Spanier Theorem to Functions and Mixed Arithmetic Educational Times , volume =

Reference 52

Resolution
verified fuzzy
raw_fallback, observed 2026-07-11T03:37:55.629883Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

source=arxiv_source observed=2026-07-11T03:29:06.145337Z digest=sha256:89ab52cc16dc7967fd35d3f2e60134f07e06244cdab3af1249daf942ee094d1c

Pith citing papers

No inbound Pith citation observations are available.