A General Completeness Theorem for Skip-free Star Algebras | Paper Citation Record

Observation 7f226a8e-dc6a-4daa-9aea-ca54fd5a78af · outbound

This paper cites London Mathematical Society Lecture Note Series, Cambridge University Press (1994).

A General Completeness Theorem for Skip-free Star Algebras London Mathematical Society Lecture Note Series, Cambridge University Press (1994)

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.963753Z

Source-reported events for the cited work

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

Observation b9dfa262-5706-4ff3-a6c8-9133ad0ef360 · outbound

This paper cites In: STACS.

A General Completeness Theorem for Skip-free Star Algebras In: STACS

Reference 2

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T14:36:45.951167Z

Source-reported events for the cited work

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

Observation 7b918b58-8a86-4ad9-a3eb-f8c9dca837fb · outbound

This paper cites In: CONCUR.

A General Completeness Theorem for Skip-free Star Algebras In: CONCUR

Reference 3

Resolution: verified exact; doi, observed 2026-08-10T14:36:45.116745Z

Source-reported events for the cited work

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

Observation 99e4987d-a356-4d27-a108-1e1fb92a3df6 · outbound

This paper cites In: CALCO.

A General Completeness Theorem for Skip-free Star Algebras In: CALCO

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.676277Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa0b54dd-3c20-436d-a534-a543434f20d6 · outbound

This paper cites In: LICS.

A General Completeness Theorem for Skip-free Star Algebras In: LICS

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.681143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0feb12c3-804b-412e-aaf0-9c5ad3173d02 · outbound

This paper cites In: LICS.

A General Completeness Theorem for Skip-free Star Algebras In: LICS

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.685292Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 64ee43f6-c934-441f-8c2c-9ae3912c66b3 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.689686Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f7d927f-44d7-467d-bcaa-b8af8b5490d0 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.693572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b4f92b3-1253-4f11-83d7-b4805afab890 · outbound

This paper cites In: ESOP.

A General Completeness Theorem for Skip-free Star Algebras In: ESOP

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.938233Z

Source-reported events for the cited work

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

Observation f458b322-7a44-45fd-856f-1dd411fb1898 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 10

Resolution: verified exact; doi, observed 2026-08-10T14:36:45.070801Z

Source-reported events for the cited work

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

Observation aecb81d9-dfe1-4690-a545-9f41dab45640 · outbound

This paper cites Automata studies 34, 3–41 (1956).

A General Completeness Theorem for Skip-free Star Algebras Automata studies 34, 3–41 (1956)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.925691Z

Source-reported events for the cited work

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

Observation 40eee4eb-54be-4bae-a644-b823f2bf6a83 · outbound

This paper cites ACM Trans.

A General Completeness Theorem for Skip-free Star Algebras ACM Trans

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.709690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b997f58-f95e-41da-90d6-e38e254d28a4 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.713539Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a654317b-4880-49a2-8b4c-90689b96d768 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.717441Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1aa72efe-2d5b-4c0c-ad38-3646b3af454c · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.721319Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e3d3b089-1d36-4a27-a028-979ff3bca67a · outbound

This paper cites In: EXPRESS.

A General Completeness Theorem for Skip-free Star Algebras In: EXPRESS

Reference 16

Resolution: verified exact; doi, observed 2026-08-10T14:36:45.033260Z

Source-reported events for the cited work

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

Observation 4082052d-d558-4caf-a8da-387f4b0052f0 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 17

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T14:36:45.912992Z

Source-reported events for the cited work

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

Observation 2e03cbf3-c672-4333-b9f0-c12e43943129 · outbound

This paper cites In: MFCS.

A General Completeness Theorem for Skip-free Star Algebras In: MFCS

Reference 18

Resolution: verified exact; doi, observed 2026-08-10T14:36:45.019685Z

Source-reported events for the cited work

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

Observation bfc8eab8-17f6-4b64-a7f9-9f23409157b3 · outbound

This paper cites In: FOSSACS.

A General Completeness Theorem for Skip-free Star Algebras In: FOSSACS

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.736788Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dde3bc4b-62fb-462e-89ce-a8b7768e04c1 · outbound

This paper cites Aurora Dover Modern Math Originals, Dover Publications, Inc., Mineola, NY (2016).

A General Completeness Theorem for Skip-free Star Algebras Aurora Dover Modern Math Originals, Dover Publications, Inc., Mineola, NY (2016)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.900281Z

Source-reported events for the cited work

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

Observation 4f212bca-7a0e-4f3d-b8e4-7d33e317acd5 · outbound

This paper cites In: ICALP.

A General Completeness Theorem for Skip-free Star Algebras In: ICALP

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.744869Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2dde3677-d083-475a-8a13-0010ebb44867 · outbound

This paper cites In: LICS.

A General Completeness Theorem for Skip-free Star Algebras In: LICS

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.749052Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cad31025-c57c-456f-aa4d-c69d1b900124 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.752909Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7c1148a-328e-4a89-98bd-141aad88c027 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.757004Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 584cd39e-c3eb-4f59-ab99-2c8fec21ebe3 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.887352Z

Source-reported events for the cited work

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

Observation a2d3a83c-993b-4525-800c-e41677a31158 · outbound

This paper cites In: ICALP.

A General Completeness Theorem for Skip-free Star Algebras In: ICALP

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.764895Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3dde2dbc-ecf8-45a1-871a-8e2bd36b657f · outbound

This paper cites In: CALCO.

A General Completeness Theorem for Skip-free Star Algebras In: CALCO

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.768726Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e3bc965-8f4c-40de-963b-2e9fd06371a9 · outbound

This paper cites In: ICALP.

A General Completeness Theorem for Skip-free Star Algebras In: ICALP

Reference 28

Resolution: malformed identifier; no resolver link, observed 2026-08-10T14:36:44.772939Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6be65620-f534-4fbc-bea6-46eecb5aaa15 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.874868Z

Source-reported events for the cited work

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

Observation 5be9c7ec-5df8-4c3c-b7fc-139034621787 · outbound

This paper cites Journal of Pure and Applied Algebra 219(8), 3110–3148 (2015).

A General Completeness Theorem for Skip-free Star Algebras Journal of Pure and Applied Algebra 219(8), 3110–3148 (2015)

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.862463Z

Source-reported events for the cited work

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

Observation 191ffb00-270a-4d15-aa81-e221680943c5 · outbound

This paper cites In: Proof, Language, and Interaction, Essays in Honour of Robin Milner.

A General Completeness Theorem for Skip-free Star Algebras In: Proof, Language, and Interaction, Essays in Honour of Robin Milner

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.850234Z

Source-reported events for the cited work

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

Observation 83957e1e-7261-4473-a452-cc3a71b95547 · outbound

This paper cites Institute of Mathe- matics, Polish Academy of Sciences (1974).

A General Completeness Theorem for Skip-free Star Algebras Institute of Mathe- matics, Polish Academy of Sciences (1974)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.837437Z

Source-reported events for the cited work

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

Observation 437505a1-780e-41d9-89e7-a235dfaa3d5b · outbound

This paper cites In: LICS.

A General Completeness Theorem for Skip-free Star Algebras In: LICS

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.793017Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1130135-a072-4139-a97b-8211dc495868 · outbound

This paper cites Mathe- matical Structures in Computer Science16(1), 87–113 (2006).https://doi.org/ 10.1017/S0960129505005074 22 T.

A General Completeness Theorem for Skip-free Star Algebras Mathe- matical Structures in Computer Science16(1), 87–113 (2006).https://doi.org/ 10.1017/S0960129505005074 22 T

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-10T14:36:44.796945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab09d713-0a53-4dae-bee9-0e54a76f1c30 · outbound

This paper cites – Let e = e(s) 1 e2.

A General Completeness Theorem for Skip-free Star Algebras – Let e = e(s) 1 e2

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.825066Z

Source-reported events for the cited work

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

Observation 9e4367b7-b8cc-43c9-9ca7-192856096e7e · outbound

This paper cites , xn) ∈ S∗X, then suppX (tρ) ⊆ {x1,.

A General Completeness Theorem for Skip-free Star Algebras , xn) ∈ S∗X, then suppX (tρ) ⊆ {x1,

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.812398Z

Source-reported events for the cited work

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

Observation 03703f58-cb99-4b21-a29b-31ac95e665a3 · outbound

This paper cites If x ∈ supp(tρ 1), then for any t2 such that T |= t1 = t2, x appears in t2 as a variable.

A General Completeness Theorem for Skip-free Star Algebras If x ∈ supp(tρ 1), then for any t2 such that T |= t1 = t2, x appears in t2 as a variable

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.800007Z

Source-reported events for the cited work

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

Observation 96d1c791-3972-46b2-8ae7-bc1434a47e0d · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.787129Z

Source-reported events for the cited work

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

Observation e0876a61-2567-4e2b-8ba3-af192ae79320 · outbound

This paper cites A path of the formx1 → x2 → · · · →xn → x1 is called acycle.

A General Completeness Theorem for Skip-free Star Algebras A path of the formx1 → x2 → · · · →xn → x1 is called acycle

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.774650Z

Source-reported events for the cited work

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

Observation cc36b6ca-f3a4-4c3d-b5e1-5beeb7957223 · outbound

This paper cites Without loss of generality, we can assume that we haveh′ 1 = (e(s) 1 e2)g1 · · ·gk, ki = fi(e(s) 1 e2)g1 · · ·gk for e1 → f1 → · · · →✓.

A General Completeness Theorem for Skip-free Star Algebras Without loss of generality, we can assume that we haveh′ 1 = (e(s) 1 e2)g1 · · ·gk, ki = fi(e(s) 1 e2)g1 · · ·gk for e1 → f1 → · · · →✓

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.761721Z

Source-reported events for the cited work

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

Observation 33319e1b-27ac-47ee-8cf8-5d6a6a63e3c0 · outbound

This paper cites In this case,e is contained in a simple cycle of the form(11) by taking k = 0, e1 = h1, s = r, and e2 = h2.

A General Completeness Theorem for Skip-free Star Algebras In this case,e is contained in a simple cycle of the form(11) by taking k = 0, e1 = h1, s = r, and e2 = h2

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.748484Z

Source-reported events for the cited work

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

Observation 95963c3d-6941-43cf-a2cb-156c57944d2f · outbound

This paper cites In this case, we must haveh′ 1 → k1 → · · · →km → h′.

A General Completeness Theorem for Skip-free Star Algebras In this case, we must haveh′ 1 → k1 → · · · →km → h′

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.733220Z

Source-reported events for the cited work

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

Observation d110d25a-8e9e-476a-94e3-7e132619f77f · outbound

This paper cites gk and ki = fi(e(s) 1 e2)g1.

A General Completeness Theorem for Skip-free Star Algebras gk and ki = fi(e(s) 1 e2)g1

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.719562Z

Source-reported events for the cited work

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

Observation d1de0110-9b94-4521-b379-a24a35b0ac53 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 44

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.706078Z

Source-reported events for the cited work

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

Observation 30862133-239e-4862-ba30-e5e230bd6d9e · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.693228Z

Source-reported events for the cited work

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

Observation ca58c7aa-66b1-4c56-9d67-e1ef8df52a2a · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.680493Z

Source-reported events for the cited work

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

Observation fb1c769b-63dc-48be-bf74-2261879f927e · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.666806Z

Source-reported events for the cited work

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

Observation cfdc4855-55f4-49ab-8660-1616cd0eed15 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.653917Z

Source-reported events for the cited work

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

Observation 785a52e6-0f2f-4386-bdd7-c0bd160ddc9f · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 49

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.641164Z

Source-reported events for the cited work

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

Observation 58ce78c3-c390-4b5f-a8d5-4fb5d3327ab3 · outbound

This paper cites Define suppX (θ) = {x ∈ X | θ(x) > 0}.

A General Completeness Theorem for Skip-free Star Algebras Define suppX (θ) = {x ∈ X | θ(x) > 0}

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.628045Z

Source-reported events for the cited work

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

Observation 8bbc18ff-6418-4b5a-9068-30f28801db28 · outbound

This paper cites Define suppX (χ) = S α∈At{x ∈ X | χ(α)(x) > 0}.

A General Completeness Theorem for Skip-free Star Algebras Define suppX (χ) = S α∈At{x ∈ X | χ(α)(x) > 0}

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.615129Z

Source-reported events for the cited work

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

Observation 36a463d3-d9e7-452e-a802-6cf8e1d72d01 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 52

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.601640Z

Source-reported events for the cited work

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

Observation 1c2803ca-69a4-41a3-9c01-7ba970d2a134 · outbound

This paper cites Define suppX (U ) = S θ∈U {x ∈ X | θ(x) > 0}.

A General Completeness Theorem for Skip-free Star Algebras Define suppX (U ) = S θ∈U {x ∈ X | θ(x) > 0}

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.588444Z

Source-reported events for the cited work

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

Observation ce080418-5bdf-4337-80e7-58710b43e106 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 54

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.576011Z

Source-reported events for the cited work

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

Observation f1274e75-784b-418c-b6e5-16e7100b574e · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 55

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.562749Z

Source-reported events for the cited work

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

Observation 147442a1-8f44-4757-a0bb-11c2e9b495e6 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 56

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.549849Z

Source-reported events for the cited work

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

Observation 1a96f357-1b3c-4f7f-8da9-75e60ea918a8 · outbound

This paper cites , xi+1, xi,.

A General Completeness Theorem for Skip-free Star Algebras , xi+1, xi,

Reference 57

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.536948Z

Source-reported events for the cited work

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

Observation dc4ba21c-609c-4f7a-88ca-8eef8aded1a9 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 58

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.523647Z

Source-reported events for the cited work

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

Observation e17d8fb6-820c-43a5-955a-ab51ae31e8a9 · outbound

This paper cites , xn), T ⊢ t = t′, and the index ofσ′ in t′ is i + 1; and 40 T.

A General Completeness Theorem for Skip-free Star Algebras , xn), T ⊢ t = t′, and the index ofσ′ in t′ is i + 1; and 40 T

Reference 59

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.509787Z

Source-reported events for the cited work

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

Observation 5723a452-cb89-4589-ad51-9d46f0b32848 · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 60

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.494643Z

Source-reported events for the cited work

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

Observation fe82f3c1-2485-4f8c-9cfd-9c8b37d68f1d · outbound

This paper cites , xn), T ⊢ t = t′, and the index ofσ′ in t′ is i − 1.

A General Completeness Theorem for Skip-free Star Algebras , xn), T ⊢ t = t′, and the index ofσ′ in t′ is i − 1

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.481513Z

Source-reported events for the cited work

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

Observation 1853fb49-1492-4da7-808b-eaa2a42808b9 · outbound

This paper cites Then we can manipulate terms T ⊢ t = σ(t1, τ(t2, t3)) = σ(t1, τ′(xi+1, t′ 3)) = σ′(τ ′′(t1, xi+1), t′.

A General Completeness Theorem for Skip-free Star Algebras Then we can manipulate terms T ⊢ t = σ(t1, τ(t2, t3)) = σ(t1, τ′(xi+1, t′ 3)) = σ′(τ ′′(t1, xi+1), t′

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.467353Z

Source-reported events for the cited work

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

Observation a6ac9003-90a8-4f0d-a40c-5a626628a62b · outbound

This paper cites an unresolved cited work.

A General Completeness Theorem for Skip-free Star Algebras Unresolved cited work

Reference 63

Resolution: unresolved; raw_fallback, observed 2026-08-10T14:36:45.454162Z

Source-reported events for the cited work

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

Observation ed16e4a3-ff42-4844-81ed-8c22e8f07779 · outbound

This paper cites – If the index ofσ in t is 1 < i, then there existt1, t2, t3 and τ ∈ S such that t = σ(τ (t1, t2), t3).

A General Completeness Theorem for Skip-free Star Algebras – If the index ofσ in t is 1 < i, then there existt1, t2, t3 and τ ∈ S such that t = σ(τ (t1, t2), t3)

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T14:36:45.440642Z

Source-reported events for the cited work

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

Coverage vector

Reference resolution

Outbound references

Pith citing papers