Dale Miller 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	11201	1820
h 指数	57	23
i10 指数	117	53

460

230

115

345

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202456 97 141 172 195 263 274 458 270 262 315 285 308 232 285 296 214 267 314 297 329 344 369 429 277 351 337 255 373 308 404 333 391 282 359 271 342 174

开放获取的出版物数量

查看全部

22 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Gopalan NadathurProfessor of Computer Science and Engineering, University of Minnesota在 cs.umn.edu 的电子邮件经过验证
Alwen TiuSchool of Computing, The Australian National University在 anu.edu.au 的电子邮件经过验证
Chuck LiangProfessor of Computer Science, Hofstra University在 hofstra.edu 的电子邮件经过验证
Andrew GacekAmazon Web Service在 amazon.com 的电子邮件经过验证
Kaustuv ChaudhuriINRIA在 chaudhuri.info 的电子邮件经过验证
Amy FeltyProfessor of Computer Science, University of Ottawa在 eecs.uottawa.ca 的电子邮件经过验证
Frank PfenningProfessor of Computer Science, Carnegie Mellon University在 cs.cmu.edu 的电子邮件经过验证
Vivek NigamApple在 apple.com 的电子邮件经过验证
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of Pennsylvania在 math.upenn.edu 的电子邮件经过验证
Catuscia PalamidessiInria在 lix.polytechnique.fr 的电子邮件经过验证
Elaine PimentelUniversity College London在 ucl.ac.uk 的电子邮件经过验证
Zakaria ChihaniCEA在 cea.fr 的电子邮件经过验证
Roberto BlancoMPI-SP在 csp.mpg.de 的电子邮件经过验证
Marco VolpeUniversity of Leicester在 leicester.ac.uk 的电子邮件经过验证
Matteo CiminiUniversity of Massachusetts Lowell在 uml.edu 的电子邮件经过验证
Matteo ManighettiINRIA, École Polytechnique在 lix.polytechnique.fr 的电子邮件经过验证
Tomer LibalUniversity of Luxembourg在 uni.lu 的电子邮件经过验证
Alberto MomiglianoDI, University of Milan在 di.unimi.it 的电子邮件经过验证
Ulysse GérardUniversité Paris Diderot在 irif.fr 的电子邮件经过验证
Yuting WangShanghai Jiao Tong University在 sjtu.edu.cn 的电子邮件经过验证

关注

Dale Miller

Inria-Saclay and LIX, Ecole Polytechnique

在 inria.fr 的电子邮件经过验证 - 首页

Proof Theory Linear Logic Logic Programming Theorem Proving Computational Logic


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Uniform proofs as a foundation for logic programming D Miller, G Nadathur, F Pfenning, A Scedrov Annals of Pure and Applied logic 51 (1-2), 125-157, 1991	919	1991
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification D Miller Journal of Logic and Computation 1 (4), 497--536, 1991	792	1991
Logic programming in a fragment of intuitionistic linear logic JS Hodas, D Miller Information and computation 110 (2), 327-365, 1994	658	1994
An overview of λProlog G Nadathur, D Miller Fifth International Logic Programming Conference, 810--827, 1988	643*	1988
A logical analysis of modules in logic programming D Miller The Journal of Logic Programming 6 (1-2), 79-108, 1989	416	1989
Unification under a mixed prefix D Miller Journal of symbolic computation 14 (4), 321-358, 1992	305	1992
Higher-order logic programming DA Miller, G Nadathur International Conference on Logic Programming, 448-462, 1986	264	1986
A multiple-conclusion specification logic D Miller Theoretical computer science 165 (1), 201-232, 1996	254	1996
Focusing and polarization in linear, intuitionistic, and classical logics C Liang, D Miller Theoretical Computer Science 410 (46), 4747-4768, 2009	251	2009
Programming with higher-order logic D Miller, G Nadathur Cambridge University Press, 2012	239	2012
A proof theory for generic judgments D Miller, A Tiu ACM Transactions on Computational Logic (TOCL) 6 (4), 749-783, 2005	193	2005
A compact representation of proofs DA Miller Studia Logica 46, 347-370, 1987	187	1987
Specifying theorem provers in a higher-order logic programming language A Felty, D Miller International Conference on Automated Deduction, 61-80, 1988	183	1988
From operational semantics to abstract machines J Hannan, D Miller Mathematical Structures in Computer Science 2 (4), 415-459, 1992	181*	1992
The π-calculus as a theory in linear logic: Preliminary results D Miller International Workshop on Extensions of Logic Programming, 242-264, 1992	176	1992
A logic programming approach to manipulating formulas and programs D Miller, G Nadathur IEEE Symposium on Logic Programming, 379--388, 1987	166	1987
Higher-Order Logic Programming G Nadathur, D Miller Handbook of Logic in Artificial Intelligence and Logic Programming 5, 499-590, 1998	155	1998
A multiple-conclusion meta-logic D Miller Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 272-281, 1994	155	1994
A theory of modules for logic programming D Miller Third Annual IEEE Symposium on Logic Programming, 106-114, 1986	143	1986
Higher-order Horn clauses G Nadathur, D Miller Journal of the ACM (JACM) 37 (4), 777-814, 1990	141	1990

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用