Вы здесь

Gries D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
П Coordinate Transformation and Data Refinement 1992 Gries D. Techn.Univ.Munchen 04.12.1999
СТ Monotonicity in Calculational Proofs 1999 Gries D. Lecture Notes in Computer Science 20.11.1999
СТ Avoiding the Undefined by Underspecification 1995 Gries D., Schneider F. B. Lecture Notes in Computer Science Computer Science Today 01.12.1995
СТ Equational Logic as a Tool 1995 Gries D. Lecture Notes in Computer Science Algebraic Methodology and Software Technology 13.09.1995
СТ Trace-Based Network Proof Systems: Expressiveness and Completeness 1992 Widom J., Gries D., Schneider F. B. ACM Trans. Programming Languages and Systems 06.09.1992