Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Rewrite Strategy"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Vilmart, Renaud
Publikováno v:
CSL 2023-31st EACSL Annual Conference on Computer Science Logic
CSL 2023-31st EACSL Annual Conference on Computer Science Logic, Feb 2023, Warsaw, Poland. pp.36:1--36:17, ⟨10.4230/LIPIcs.CSL.2023.36⟩
CSL 2023-31st EACSL Annual Conference on Computer Science Logic, Feb 2023, Warsaw, Poland. pp.36:1--36:17, ⟨10.4230/LIPIcs.CSL.2023.36⟩
The "Sum-Over-Paths" formalism is a way to symbolically manipulate linear maps that describe quantum systems, and is a tool that is used in formal verification of such systems. We give here a new set of rewrite rules for the formalism, and show that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6f409797f7f1aa24513ab22dc1a8be37
https://hal.science/hal-03654438v2/document
https://hal.science/hal-03654438v2/document
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.