載入中…
系統目前無法執行作業,請稍後再試。
每年的引文數
重複引用
Google 學術搜尋已經合併下列文章。系統只會計算第一篇文章的
合併引用次數
。
合併引文
「引用次數」包含 Google 學術搜尋服務中以下文章的引用次數。文章旁如有
*
標示,代表可能與個人學術檔案中的文章不同。
新增共同作者
共同作者
追蹤
這位作者的新文章
其他人引用這位作者的最新情形
與這位作者的研究相關的新文章
接收最新動態的電子郵件地址
完成
我的個人學術檔案
我的圖書館
指標
快訊
設定
登入
登入
建立我自己的個人學術檔案
引用次數
全部
自 2019 年
引文
10
10
H 指數
2
2
i10 指數
0
0
0
4
2
2020
2021
2022
2023
2024
1
1
4
3
1
共同作者
Lutz Straßburger
Inria
在 lix.polytechnique.fr 的電子郵件地址已通過驗證
Dominic J. D. Hughes
在 theory.stanford.edu 的電子郵件地址已通過驗證
Dale Miller
Inria-Saclay and LIX, Ecole Polytechnique
在 inria.fr 的電子郵件地址已通過驗證
追蹤
Jui-Hsuan Wu
Institut Polytechnique de Paris
在 ens.fr 的電子郵件地址已通過驗證 -
首頁
Proof Theory
Programming Languages
文章
引用次數
共同作者
標題
排序
按引用次數排序
按年份排序
按標題排序
引用次數
引用次數
年份
Combinatorial proofs and decomposition theorems for first-order logic
DJD Hughes, L Straßburger, JH Wu
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13
, 2021
6
2021
A Positive Perspective on Term Representation (Invited Talk)
D Miller, JH Wu
31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
, 2023
2
2023
Checking the type safety of rewrite rules in the
-calculus modulo rewriting
JH Wu
Ecole Normale Supérieure
, 2019
2
2019
Proofs as Terms, Terms as Graphs
JH Wu
Asian Symposium on Programming Languages and Systems, 91-111
, 2023
2023
系統目前無法執行作業,請稍後再試。
文章 1–4
顯示更多結果
隱私權
服務條款
說明
關於學術搜尋
Google 搜尋說明