Research paper / RESOURCE PROFILE

Quantum Relational Hoare Logic

Publication: Quantum Relational Hoare Logic. Published Feb 9, 2018.

Research & Papers
arxiv.orgPublished Feb 9, 2018
Visit source website ↗

Overview

Publication: Quantum Relational Hoare Logic. Published Feb 9, 2018.

Publication information

Publication title
Quantum Relational Hoare Logic
Authors
Dominique Unruh
Published
Feb 9, 2018
Last publication revision
Jan 14, 2019
Venue / journal
Proc. ACM Program. Lang. 3 (Jan. 2019). Pages 33:1-33:31
Subject areas
quant-ph, cs.LO
DOI
10.1145/3290346 ↗
Publication source
arxiv.org · abs/1802.03188v2 ↗

Source: arXiv API · observed Oct 11, 2026.

Source links & provenance

https://arxiv.org/abs/1802.03188 ↗

Discovery references

References explain how this resource entered the collection. They do not represent an endorsement.

Explore related resources

Screenshot unavailableResource information and source links remain available. DeepIntoStreams/TSFM_Finance — reviewed source website screenshot
RepositoryChecked capture

DeepIntoStreams/TSFM_Finance

github.com

the official implementation of the paper “Re(visiting) Time Series Foundation Models in Finance”.

GitHub stars
31
Language
Jupyter Notebook
Code license
Apache-2.0
foundation-modeltime-seriesresearch-lab
Research & Papers Explore →
96 Authority 96 / 100 Cited by 2 resources in this directory 2 discovery sources Directory record updated: 2026-10-11 How scoring works →

Sign In

Don't have an account yet? Register

Forgot password?

Register

Reset Password

Please enter your username or email address, you will receive a link to create a new password via email.