( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Behavior: A Temporal Approach to Process Modelling.

, , , и . Logic of Programs, том 193 из Lecture Notes in Computer Science, стр. 237-254. Springer, (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

David Gries

David Gries

Katja Gries

Enno Gries

Herbert Gries

 

Другие публикации лиц с тем же именем

A Linear Sieve Algorithm for Finding Prime Numbers., и . Commun. ACM, 21 (12): 999-1003 (1978)A Constructive Proof of Vizing's Theorem., и . Inf. Process. Lett., 41 (3): 131-133 (1992)Teaching Calculation and Discrimination: A More Effective Curriculum.. Commun. ACM, 34 (3): 44-55 (1991)Equational Logic as a Tool.. AMAST, том 936 из Lecture Notes in Computer Science, стр. 1-17. Springer, (1995)The 1987-88 Taulbee Survey Report., и . Computer, 22 (11): 49-56 (1989)An exercise in proving parallel programs correct.. Language Hierarchies and Interfaces, том 46 из Lecture Notes in Computer Science, стр. 57-81. Springer, (1975)Finding Repeated Elements., и . Sci. Comput. Program., 2 (2): 143-152 (1982)Letter to Dr. Susan Gerhart: comments on two book reviews.. ACM SIGSOFT Softw. Eng. Notes, 7 (3): 30-32 (1982)Formal Justification of Underspecification for S5., и . Inf. Process. Lett., 64 (3): 115-121 (1997)Educating the Programmer: Notation, Proofs and the Development of Programs.. IFIP Congress, стр. 935-944. (1980)