Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-01T10:44:32.612821Z
Paper Citation Record · LEDGER
Quantum Term Rewrite Systems: Applications to Complexity Analysis
As of 15 August 2026, this Paper Citation Record lists 67 of 67 outbound references and 0 inbound Pith citation observations for arXiv:2607.20170.
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-15T06:32:42.880941+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
67 of 67 outbound references displayed
- verified exact24
- verified fuzzy0
- unresolved43
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 04286483-1c3b-4966-bc8a-b7a171c8893c · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:26.983623Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ccb11104-3c19-43de-982b-8bd2f9e3d464 · outbound
This paper cites Science of Computer Programming , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Science of Computer Programming , publisher =
Reference 2
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:27.094897Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bd6d7218-0e51-41e7-a2c4-82c86680ec49 · outbound
This paper cites Journal of Automated Reasoning , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Journal of Automated Reasoning , publisher =
Reference 3
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:17.249823Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 146fc480-9c8a-49c6-bd96-d9c161419c00 · outbound
This paper cites Theoretical Computer Science , volume = 236, number = 1, pages =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Theoretical Computer Science , volume = 236, number = 1, pages =
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:27.316515Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d4be9520-ac4f-4a90-973d-7e278d37ae88 · outbound
This paper cites Dependency.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Dependency
Reference 5
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:17.070284Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d9f28506-1a5d-4a02-af74-d447f1d2da6b · outbound
This paper cites Polynomial.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Polynomial
Reference 6
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:16.895417Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation af21ceed-bfe7-4a9a-9244-06a65ef4397f · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:27.473628Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d6ccc4b3-5ce8-4d9a-96f5-4e39f1f82ede · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 8
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:16.680860Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 42075b3c-aa42-4b87-a3f4-9a747db2b89a · outbound
This paper cites Logical Methods in Computer Science , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Logical Methods in Computer Science , publisher =
Reference 9
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:16.463928Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 5e26c2fd-93e5-414a-a761-c51cd99fd787 · outbound
This paper cites Fundamenta Informaticae , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Fundamenta Informaticae , publisher =
Reference 10
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:16.275443Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1c435053-91c6-4140-a24b-44af1b83667f · outbound
This paper cites Term Rewriting and Applications , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Term Rewriting and Applications , publisher =
Reference 11
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:16.095805Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 275e59bc-5088-45f3-acfa-a4e98fc876b9 · outbound
This paper cites Applications to ELAN , author =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Applications to ELAN , author =
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:15.903587Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 61749926-cdbc-4ffd-a334-b5c85a20f5b1 · outbound
This paper cites Logic for Programming, Artificial Intelligence, and Reasoning , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Logic for Programming, Artificial Intelligence, and Reasoning , publisher =
Reference 13
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:15.714959Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 601651a2-db1c-403b-a667-96967b505466 · outbound
This paper cites Theoretical Computer Science , volume = 412, number = 25, pages =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Theoretical Computer Science , volume = 412, number = 25, pages =
Reference 14
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:15.527459Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation dbd9c398-bce8-4a22-81e7-d675fd464985 · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:27.860991Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 991186e8-325f-4097-8d21-83f7c1a7287d · outbound
This paper cites 41st Annual Symposium on Logic in Computer Science (LICS 2026) , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis 41st Annual Symposium on Logic in Computer Science (LICS 2026) , publisher =
Reference 16
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:15.342478Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b32c2514-5d10-4419-aa83-91ee1aeb6b93 · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:27.962804Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e39cffef-26af-426a-93f9-3be57d9b04ab · outbound
This paper cites New Journal of Physics , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis New Journal of Physics , publisher =
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:28.050835Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aa863413-e0e4-4b43-a8d5-2bbf31d5c7cc · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:28.110468Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation eba4dac8-ac13-444c-8275-67736a7556d4 · outbound
This paper cites LIPIcs, Volume 378, FSCD 2026 , booktitle =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis LIPIcs, Volume 378, FSCD 2026 , booktitle =
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:28.146320Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation abf7df5b-5416-4263-9b74-d5e3e671f211 · outbound
This paper cites Proceedings of the ACM on Programming Languages , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Proceedings of the ACM on Programming Languages , publisher =
Reference 21
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:28.225196Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c0818c55-3bd2-4ca7-beed-49c098c5f679 · outbound
This paper cites 30th Annual Symposium on Foundations of Computer Science , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis 30th Annual Symposium on Foundations of Computer Science , publisher =
Reference 22
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:28.292877Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1e2a607c-cc4c-4951-a203-a6cd26e23b05 · outbound
This paper cites 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) , publisher =
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:28.388127Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d19c262a-a5da-493b-be11-49425de65776 · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:28.473188Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c19617fe-afb3-44a2-90fd-9e94ce931632 · outbound
This paper cites Theoretical computer science , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Theoretical computer science , publisher =
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:28.535090Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 03ec3252-19aa-4b4f-ab09-ca0bea0c4508 · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:28.585791Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 092bca9c-6fe1-4a02-9ca5-d3d7e054a0bc · outbound
This paper cites Foundations of Software Science and Computation Structures, FoSSaCS 2025 , location =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Foundations of Software Science and Computation Structures, FoSSaCS 2025 , location =
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:28.647722Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cfe756c1-7183-4d0a-acb3-7e8db0b4651e · outbound
This paper cites Journal of Automated Reasoning , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Journal of Automated Reasoning , publisher =
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:28.724227Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c6d4f419-c412-49a1-bd3c-1f2333c1a2f0 · outbound
This paper cites Computer Science Logic , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Computer Science Logic , publisher =
Reference 29
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:15.131268Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 4c0b8dc4-8483-45b4-9db9-8c8fdd3c386a · outbound
This paper cites Information Processing Letters , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Information Processing Letters , publisher =
Reference 30
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:14.983482Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation d0214324-1782-42f0-8a64-4c3e239baed8 · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:28.990336Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7f870eaa-f932-4328-b24a-7b7a26d5e5f7 · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:29.064342Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1fd77ab6-9f92-4a7a-ac1d-523119bc9cff · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:29.149353Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cb6a75d2-d451-434e-8faf-e38bd21577cf · outbound
This paper cites Applied Sciences , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Applied Sciences , publisher =
Reference 34
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:14.792767Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 40f953cd-7405-47d7-a24b-4d849e92d9e8 · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 35
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:29.295239Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bcfa6dd8-f557-471f-a2d4-7a97f6c402ee · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:29.438725Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8c5d9249-a60a-4b08-9ece-a0cd893fec2e · outbound
This paper cites Automated.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Automated
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:29.543109Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ee27b351-89e7-454c-bce2-094294c12c0d · outbound
This paper cites Logical Methods in Computer Science , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Logical Methods in Computer Science , publisher =
Reference 38
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:14.577646Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 04aec7b1-3c74-4874-ad56-447a6b7970ed · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 39
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:14.367073Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 3aee89df-8b30-44a7-9461-f475fa541781 · outbound
This paper cites Formal Structures for Computation and Deduction,.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Formal Structures for Computation and Deduction,
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:29.831920Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8698c574-8d0a-4fb5-a9c5-2a5cc73ee6ea · outbound
This paper cites Automated Deduction – CADE 29 , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Automated Deduction – CADE 29 , publisher =
Reference 41
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:14.178131Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 461b0352-4d33-410f-9bf4-34d2617e3fa1 · outbound
This paper cites Russian Mathematical Surveys , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Russian Mathematical Surveys , publisher =
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:30.082180Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9180b8ce-bd0c-448c-bc74-9afc9256038f · outbound
This paper cites Nature , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Nature , publisher =
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:30.110598Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8585a617-0622-4f70-95c4-b28b2277f988 · outbound
This paper cites Logical Methods in Computer Science , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Logical Methods in Computer Science , publisher =
Reference 44
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:13.987571Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 08ae3993-5d98-47d3-8080-a52ebf0364ae · outbound
This paper cites Exponential separation in quantum query complexity of the quantum switch with respect to simulations with standard quantum circuits.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Exponential separation in quantum query complexity of the quantum switch with respect to simulations with standard quantum circuits
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:30.263956Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 956d7e76-c1af-4266-8e97-78995e707043 · outbound
This paper cites LIPIcs, Volume 260, FSCD 2023 , booktitle =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis LIPIcs, Volume 260, FSCD 2023 , booktitle =
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:30.316698Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e12c5036-f3af-4cff-9aa5-ff46cf442563 · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:30.392128Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d577c7a7-3bd4-4f86-be99-17777f11c467 · outbound
This paper cites Journal of Logical and Algebraic Methods in Programming , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Journal of Logical and Algebraic Methods in Programming , publisher =
Reference 48
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:13.796901Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation b76758a4-d5d3-4470-b1c4-71e3dd1c3814 · outbound
This paper cites Information and Computation , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Information and Computation , publisher =
Reference 49
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:13.589789Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 825b1209-6d13-4902-9ca3-1e878dbed824 · outbound
This paper cites Automated Deduction – CADE 30 , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Automated Deduction – CADE 30 , publisher =
Reference 50
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:13.446077Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation f28a8f62-088a-487f-a667-9aa4a426d8f9 · outbound
This paper cites Theoretical Computer Science , volume = 192, number = 1, pages =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Theoretical Computer Science , volume = 192, number = 1, pages =
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:30.705401Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9ed0e32d-ab0a-406f-9f4a-692f40c5e589 · outbound
This paper cites CoRR , doi =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis CoRR , doi =
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:30.810790Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 60991f0f-2819-469a-8bd3-a4aae44c9bd0 · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:30.863903Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6634fa5a-479a-4d7e-b0d6-893972596f0f · outbound
This paper cites Nature Communications , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Nature Communications , publisher =
Reference 54
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:13.228510Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 9a75e240-2d5f-4e3c-b9c0-cd2995f39f52 · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:31.015890Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2c090e03-80b0-4dd2-a29f-68b38bf6fcd5 · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:31.086673Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 585a4e51-090c-425e-a217-9936465f7ee2 · outbound
This paper cites SIAM Journal on Computing , volume = 26, number = 5, pages =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis SIAM Journal on Computing , volume = 26, number = 5, pages =
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:31.148988Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3a510d64-40fe-4426-9686-015cf857f0cf · outbound
This paper cites Rewriting Techniques and Applications , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Rewriting Techniques and Applications , publisher =
Reference 58
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:13.042454Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation 1e8e9d25-ac4d-493c-8b61-86a3bc231df3 · outbound
This paper cites Quantum lambda calculus , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Quantum lambda calculus , publisher =
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:31.301333Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2e6886a4-ebee-4805-8413-3b728087c3a9 · outbound
This paper cites From Symmetric Pattern-Matching to Quantum Control.
Quantum Term Rewrite Systems: Applications to Complexity Analysis From Symmetric Pattern-Matching to Quantum Control
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:31.377029Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 863c434e-4297-4870-9a01-45247cca9124 · outbound
This paper cites PRX Quantum , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis PRX Quantum , publisher =
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:31.501873Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation def5fae4-1fbc-42b3-90a2-c1f54ce50750 · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 62
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:31.655646Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0675b9d2-f79a-41a1-903d-8a4ef2f3ab56 · outbound
This paper cites Confluence and.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Confluence and
Reference 63
- Resolution
- verified exact
- doi, observed 2026-08-01T10:49:12.808650Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.
Observation e39ba0ba-e241-4569-9f77-77fa3ebbc498 · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:32.035783Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5a412e58-a9a4-4cb6-a517-4821ef466fe5 · outbound
This paper cites Proceedings of 1993.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Proceedings of 1993
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:32.222527Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bd7b8e48-655e-45b7-b242-4a377e13d540 · outbound
This paper cites an unresolved cited work.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Unresolved cited work
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:32.426930Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 531e1876-4689-4bac-955c-bf2a3b586673 · outbound
This paper cites Proceedings of the ACM on Programming Languages , publisher =.
Quantum Term Rewrite Systems: Applications to Complexity Analysis Proceedings of the ACM on Programming Languages , publisher =
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T10:44:32.612821Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.