読み込んでいます...
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
年間引用数
重複した引用
次の論文は Scholar 内で結合されています。
結合された引用
は、最初の論文のみがカウントされます。
結合された引用
この [引用先] の件数には Scholar 内の次の論文への引用も含まれています。
*
が付いた論文は、プロフィール内の論文とは異なる場合があります。
共著者を追加
共著者
フォロー
この著者の新しい論文
この著者からの新しい引用
この著者の研究に関連する新しい論文
通知を受け取るメールアドレス
完了
プロフィール
マイ ライブラリ
統計情報
アラート
設定
ログイン
ログイン
自分のプロフィールを作成
引用先
すべて
2020 年以来
引用
15
15
h 指標
2
2
i10 指標
1
1
0
10
5
2023
2024
2025
5
9
1
共著者
Adrian Lehmann
University of UChicago
確認したメール アドレス: uchicago.edu
Robert Rand
Assistant Professor of Computer Science, University of Chicago
確認したメール アドレス: uchicago.edu
フォロー
Ben Caldwell
University of Chicago
確認したメール アドレス: uchicago.edu -
ホームページ
Formal Logic
Category Theory
Quantum Computing
ZX-Calculus
論文
引用先
共著者
タイトル
並べ替え
引用回数順
公開年順
タイトル順
引用先
引用先
年
VyZX: A Vision for Verifying the ZX Calculus
A Lehmann, B Caldwell, R Rand
arXiv preprint arXiv:2205.05781
, 2022
10
2022
VyZX: Formal Verification of a Graphical Quantum Language
A Lehmann, B Caldwell, B Shah, R Rand
arXiv preprint arXiv:2311.11571
, 2023
5
2023
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–2
さらに表示
プライバシー
規約
ヘルプ
Academic Search について
ヘルプを検索