( en | de | ru )

 

Disambiguierung von "Gries, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Describing an Algorithm by Hopcroft

. Acta Inf., (1973)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

David Gries

David Gries

Enno Gries

Katja Gries

Herbert Gries

 

Weitere Publikationen von Autoren mit dem selben Namen

A Constructive Proof of Vizing's Theorem., und . Inf. Process. Lett., 41 (3): 131-133 (1992)A Linear Sieve Algorithm for Finding Prime Numbers., und . Commun. ACM, 21 (12): 999-1003 (1978)A Proof Technique for Communicating Sequential Processes., und . Acta Inf., (1981)General Correctness: A Unification of Partial and Total Correctness., und . Acta Inf., 22 (1): 67-83 (1985)An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs.. IEEE Trans. Software Eng., 2 (4): 238-244 (1976)correction: TSE 3(3): 262 (1977).Teaching Calculation and Discrimination: A More Effective Curriculum.. Commun. ACM, 34 (3): 44-55 (1991)Equational Logic as a Tool.. AMAST, Volume 936 von Lecture Notes in Computer Science, Seite 1-17. Springer, (1995)Educating the Programmer: Notation, Proofs and the Development of Programs.. IFIP Congress, Seite 935-944. (1980)Formal Justification of Underspecification for S5., und . Inf. Process. Lett., 64 (3): 115-121 (1997)An exercise in proving parallel programs correct.. Language Hierarchies and Interfaces, Volume 46 von Lecture Notes in Computer Science, Seite 57-81. Springer, (1975)