Takip et
Dale Miller
Dale Miller
Inria-Saclay and LIX, Ecole Polytechnique
inria.fr üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
9291991
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
D Miller
Journal of Logic and Computation 1 (4), 497--536, 1991
8051991
Logic programming in a fragment of intuitionistic linear logic
JS Hodas, D Miller
Information and computation 110 (2), 327-365, 1994
6721994
An overview of λProlog
G Nadathur, D Miller
Fifth International Logic Programming Conference, 810--827, 1988
651*1988
A logical analysis of modules in logic programming
D Miller
The Journal of Logic Programming 6 (1-2), 79-108, 1989
4231989
Unification under a mixed prefix
D Miller
Journal of symbolic computation 14 (4), 321-358, 1992
3081992
Higher-order logic programming
DA Miller, G Nadathur
International Conference on Logic Programming, 448-462, 1986
2681986
Focusing and polarization in linear, intuitionistic, and classical logics
C Liang, D Miller
Theoretical Computer Science 410 (46), 4747-4768, 2009
2652009
A multiple-conclusion specification logic
D Miller
Theoretical computer science 165 (1), 201-232, 1996
2571996
Programming with higher-order logic
D Miller, G Nadathur
Cambridge University Press, 2012
2502012
A proof theory for generic judgments
D Miller, A Tiu
ACM Transactions on Computational Logic (TOCL) 6 (4), 749-783, 2005
1972005
A compact representation of proofs
DA Miller
Studia Logica 46, 347-370, 1987
1921987
Specifying theorem provers in a higher-order logic programming language
A Felty, D Miller
International Conference on Automated Deduction, 61-80, 1988
1881988
From operational semantics to abstract machines
J Hannan, D Miller
Mathematical Structures in Computer Science 2 (4), 415-459, 1992
183*1992
The π-calculus as a theory in linear logic: Preliminary results
D Miller
International Workshop on Extensions of Logic Programming, 242-264, 1992
1791992
A logic programming approach to manipulating formulas and programs
D Miller, G Nadathur
IEEE Symposium on Logic Programming, 379--388, 1987
1691987
Higher-Order Logic Programming
G Nadathur, D Miller
Handbook of Logic in Artificial Intelligence and Logic Programming 5, 499-590, 1998
1561998
A multiple-conclusion meta-logic
D Miller
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, 272-281, 1994
1551994
A theory of modules for logic programming
D Miller
Third Annual IEEE Symposium on Logic Programming, 106-114, 1986
1451986
Higher-order Horn clauses
G Nadathur, D Miller
Journal of the ACM (JACM) 37 (4), 777-814, 1990
1431990
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20