Search

Quantum PL & Verification Bibliography

About
Papers
People
Venues
Tags
Posts
Variants
BibLaTeX BibTeX bibtex2html BibBase
Mailing List

Light Dark Automatic

Luk'avs Hol'ik

Latest

Verifying Quantum Circuits with Level-Synchronized Tree Automata

Published with Wowchemy.

Cite