Вы здесь

Главная

Miller D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Specifications Using Multiple-Conclusion Logic Programs 1994 Miller D. Lecture Notes in Computer Science 01.11.1994
СТ Uses of Higher-Order Unification for Implementing Program Transformers 1988 Hannan J., Miller D. Logic Programming: Proc./Fifth Intern.Conf. and Symp. 13.10.1994
СТ An Overview of LambdaProlog 1988 Nadathur G., Miller D. Logic Programming: Proc./Fifth Intern. Conf. and Symp. 03.10.1994
СТ Unification of Simply Typed Lambda-Terms as Logic Programming 1991 Miller D. Logic Programming: Proc./Eighth Intern. Conf. 19.09.1994
СТ Crypto Policy Perspectives 1994 Landau S., Kent S., Brooks C., Charney S., Denning D., Diffie W., Lauck A., Miller D., Neumann P., Sobel D. Communications of the ACM 31.08.1994
СТ A Proposal for Modules in Prolog 1994 Miller D. Lecture Notes in Artificial Intelligence 01.07.1994
СТ The -Calculus as a Theory in Linear Logic: Preliminary Results 1992 Miller D. Lecture Notes in Artificial Intelligence 06.04.1993
П Encoding a Dependent-Type lambda-calculus in a Logic Programming Language 1990 Felty A., Miller D. INRIA 12.10.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Certified Programs and Proofs: Proc./2nd International Conference, CPP 2012, Kyoto, Japan, December 2012 2012 Lecture Notes in Computer Science
  1. Hawblitzel C.
  2. Miller D.
 11.01.2013
СБ Automated Reasoning: Proc./6th International Joint Conference, IJCAR 2012, Manchester, UK, June 2012 2012 Lecture Notes in Artificial Intelligence
  1. Gramlich B.
  2. Miller D.
  3. Sattler U.
 13.08.2012
СБ Logic Programming: Proc./1993 Intern. Symp. 1993
  1. Miller D.
 20.09.1994