Вы здесь

Nipkow T.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ 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
СТ 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
СТ Winskel is (Almost) Right: Towards a Mechanized Semantics Textbook 1996 Nipkow T. Lecture Notes in Computer Science 24.12.1996
СТ 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
М 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
СТ Executing Higher Order Logic 2002 Berghofer S., Nipkow T. Lecture Notes in Computer Science 13.04.2002
М 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