Вы здесь

Главная

Pfenning F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Type-Directed Concurrency 2005 Garg D., Pfenning F. Lecture Notes in Computer Science Lecture Notes in Computer Science 19.10.2005
СТ Tridirectional Typechecking 2004 Dunfield J., Pfenning F. POPL 2004 09.06.2004
СТ Natural Deduction Intuitionistic Non-commutative Linear Logic 1999 Polakow J., Pfenning F. Lecture Notes in Computer Science 21.04.1999
СТ Run-time Code Generation and Modal-ML 1998 Wickline P., Lee P., Pfenning F. SIGPLAN Notices 16.09.1998
СТ Mode and Termination Checking for Higher-Order Logic Programs 1996 Rohwedder E., Pfenning F. Lecture Notes in Computer Science 18.05.1996
СТ Efficient Resource Management for Linear Logic Proof Search 1996 Cervesato I., Hodas J. S., Pfenning F. Lecture Notes in Artificial Intelligence 17.04.1996
СТ A Declarative Alternative to "assert" in Logic Programming 1991 Deitzen S., Pfenning F. Logic Programming: Proc./1991 Intern. Symp. 29.12.1994
СТ TPS: An Interactive and Automatic Tool for Proving Theorems of Type Theory 1994 Andrews P. B., Bishop M., Issar S., Nesmith D., Pfenning F., Xi H. Lecture Notes in Computer Science 21.06.1994
СТ Metacircularity in the polymorphic lambda-calculus 1991 Pfenning F., Lee P. Theoretical Computer Science 28.11.1991
СТ Compiling the Polymorphic Lambda-Calculus 1991 Michaylov S., Pfenning F. SIGPLAN Notices 26.10.1991

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Foundations of Software Science and Computational Structures: Proc./16th International Conference, FOSSACS 2013 Held as Part of the European Joint Conferences ETAPS 2013, Rome, Italy, Narch 2013 2013 Lecture Notes in Computer Science
  1. Pfenning F.
 26.03.2013
СБ Automated Deduction - CADE-21: Proc./21st International Conference on Automated Deduction. Bremen, Germany, July 2007 2007 Lecture Notes in Artificial Intelligence
  1. Pfenning F.
 30.10.2007
СБ Term Rewriting and Applications: Proc./17th International Conference, RTA 2006. Seattle, WA, USA, August 2006 2006 Lecture Notes in Computer Science
  1. Pfenning F.
 31.08.2006
СБ Generative Programming and Component Engineering: Proc./Second Intern. Conf., GPCE 2003, Erfurt, Germany, September 2003 2003 Lecture Notes in Computer Science
  1. Pfenning F.
  2. Smaragdakis Y.
 26.11.2003
СБ Logic Programming and Automated Reasoning: Proc./5th Intern. Conf., LPAR 94. Kiev, Ukraine, July 1994 1994 Lecture Notes in Artificial Intelligence
  1. Pfenning F.
 03.08.1994