Вы здесь

Главная

Nipkow T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Isabelle/HOL: A Proof Assistant for Higner-Order Logic 2002 Nipkow T., Paulson L. C., Wenzel M. Lecture Notes in Computer Science 23.05.2002
СТ Executing Higher Order Logic 2002 Berghofer S., Nipkow T. Lecture Notes in Computer Science 13.04.2002
М Term Rewriting and All That 1999 Baader F., Nipkow T. Univ. Cambridge 27.04.2000
СТ Machine-Checking the Java Specification: Proving Type-Safety 1999 Von Oheimb D., Nipkow T. Lecture Notes in Computer Science 03.07.1999
СТ Owicki/Gries in Isabelle/HOL 1999 Nipkow T., Nieto L. P. Lecture Notes in Computer Science 06.04.1999
СТ Javalight in Type-Safe - Definitely 1998 Nipkow T., Von Oheimb D. Conf. Record of POPL 98: The 25th ACM SIGPLAN-SIGACT, Symp. on Principles of Programming Languages 14.05.1998
СТ Winskel is (Almost) Right: Towards a Mechanized Semantics Textbook 1996 Nipkow T. Lecture Notes in Computer Science 24.12.1996
СТ Combining Model Checking and Deduction for I/O-Automata 1995 Muller O., Nipkow T. Lecture Notes in Computer Science 11.01.1996
СТ I/O Automata in Isabelle/HOL 1995 Nipkow T., Slind K. Lecture Notes in Computer Science Types for Proofs and Programs 30.11.1995
СТ Interpreter Verification for a Functional Language 1994 Broy M., Hinkel U., Nipkow T., Prehofer C., Schieder B. Lecture Notes in Computer Science 11.01.1995

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Theorem Provig in Higher Order Logics: Proc./22nd International Conference, TPHOLs 2009, Munich, Germany, August 2009 2009 Lecture Notes in Computer Science
  1. Berghofer S.
  2. Nipkow T.
  3. Urban Ch.
  4. Wenzel M.
 03.02.2010
СБ FM 2006: Formal Methods: Proc./14th International Symposium on Formal Methods. Hamilton, Canada, August 2006 2006 Lecture Notes in Computer Science
  1. Misra J.
  2. Nipkow T.
  3. Sekerinski E.
 28.09.2006
СБ Automated Reasoning: Proc./First Intern. Joint Conf., IJCAR 2001, Siena, Italy, June 2001 2001 Lecture Notes in Artificial Intelligence
  1. Gore R.
  2. Leitsch A.
  3. Nipkow T.
 12.07.2001
СБ Rewriting Techniques and Applications: Proc./9th Intern. Conf., RTA-98. Tsukuba, Japan, March-April 1998 1998 Lecture Notes in Computer Science
  1. Nipkow T.
 16.04.1998
СБ Higher-Order Algebra, Logic, and Term Rewriting: Selected Papers/First Intern. Workshop, HOA 93. Amsterdam, The Netherlands, September 1993 1994 Lecture Notes in Computer Science
  1. Heering J.
  2. Meinke K.
  3. Moller B.
  4. Nipkow T.
 23.08.1994
СБ Types for Proofs and Programs: Selected Papers/Intern. Workshop TYPES 93. Nijmegen, The Netherlands, May 1993 1994 Lecture Notes in Computer Science
  1. Barendregt H.
  2. Nipkow T.
 20.07.1994