Jui-Hsuan Wu 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	15	15
h 指数	2	2
i10 指数	0	0

0

6

3

202020212022202320241 1 4 3 6

合著作者

Dale MillerInria-Saclay and LIX, Ecole Polytechnique在 inria.fr 的电子邮件经过验证
Lutz StraßburgerInria在 lix.polytechnique.fr 的电子邮件经过验证
Dominic J. D. Hughes在 theory.stanford.edu 的电子邮件经过验证
Beniamino AccattoliInria & École Polytechnique在 inria.fr 的电子邮件经过验证

Jui-Hsuan Wu

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	7	2021
A positive perspective on term representation (invited talk) D Miller, JH Wu 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), 2023	4	2023
Proofs as terms, terms as graphs JH Wu Asian Symposium on Programming Languages and Systems, 91-111, 2023	2	2023
Checking the type safety of rewrite rules in the -calculus modulo rewriting JH Wu Ecole Normale Supérieure, 2019	2	2019
Positive Focusing is Directly Useful B Accattoli, JH Wu		2024

系统目前无法执行此操作，请稍后再试。

文章 1–5

共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索 @联系我们 | 申请短期会员 | 数据源提交