|
|
eCommons@Cornell >
Browsing by Author Gries, David
Showing results 17 to 36 of 51
| Preview | Issue Date | Title | Author(s) | | Sep-1983 | Fault-Tolerant Broadcasts | Schneider, Fred B.; Gries, David; Schlichting, Richard D. |
| Jul-1982 | Finding Repeated Elements | Misra, Jayadev; Gries, David |
| May-1998 | Formalizations Of Substitution Of Equals For Equals | Gries, David; Schneider, Fred B. |
| Feb-1997 | Formal Justification of Underspecification for S5 | Aaron, Eric; Gries, David |
| Aug-1996 | Formal versus semiformal proof in teaching predicate logic | Gries, David |
| Oct-1984 | General Correctness: A Unification of Partial and Total Correctness | Jacobs, Dean; Gries, David |
| Sep-1986 | Generating a Random Cyclic Permutation | Gries, David; Xue, Jinyun |
| Apr-1988 | The Hopcroft-Tarjan Planarity Algorithm, Presentation and Improvements | Gries, David; Xue, Jinyun |
| Nov-1987 | Inorder Traversal of a Binary Tree and its Inversion | Gries, David; Van de Snepscheut, Jan L.A. |
| Sep-1985 | In-situ Inversion of a Cyclic Permutation | Feijen, W. H. J.; Van Gasteren, A. J. M.; Gries, David |
| Mar-1990 | An Introduction to Proofs of Program Correctness for Teachers of College-Level Introductory Programming Courses | Gries, David; Wadkins, Jeff |
| Jun-1978 | Is Sometimes Ever Better Than Always? | Gries, David |
| Jun-1977 | A Linear Sieve Algorithm for Finding Prime Numbers | Gries, David; Misra, Jayadev |
| Jan-1986 | McLaren's Masterpiece | Gries, David; Prins, Jan F. |
| Nov-1984 | A Model and Temporal Proof System for Networks of Processes | Nguyen, Van Long; Gries, David; Owicki, Susan S. |
| Jun-1985 | A Model and Temporal proof system for Networks of Processes | Nguyen, Van Long; Demers, Alan J.; Gries, David; Owicki, Susan S. |
| Feb-1994 | A New Approach to Teaching Mathematics | Gries, David; Schneider, Fred B. |
| Sep-1977 | A Note on Iteration | Gries, David |
| Mar-1974 | A Note on Program Development | Gries, David |
| Oct-1982 | A Note on the Standard Strategy for Developing Loop Invariants and Loops | Gries, David |
Showing results 17 to 36 of 51
|
