|
|
eCommons@Cornell >
Browsing by Author Gries, David
Showing results 14 to 33 of 51
| Preview | Issue Date | Title | Author(s) | | Apr-1980 | Educating the Programmer: Notation, Proofs, and the Development of Programs | Gries, David |
| 1985 | Engineering: Cornell Quarterly, Vol.20, No.2 (Autumn 1985): Twenty Years of Computer Science at Cornell | Gries, David; Teitelbaum, Tim; Reps, Thomas; Schneider, Fred B.; Babaoglu, Ozalp; Birman, Kenneth P.; Toueg, Sam; Krafft, Dean B.; Solworth, Jon A.; Duke, Diane; Fish, Michele |
| Sep-1994 | Equational Propositional Logic | Gries, David; Schneider, Fred B. |
| 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. |
Showing results 14 to 33 of 51
|
