|
|
eCommons@Cornell >
Browsing by Author Gries, David
Showing results 38 to 51 of 51
| Preview | Issue Date | Title | Author(s) | | Mar-1988 | Presenting an Algorithm to Find the Minimum Edit Distance | Gries, David; Burkhardt, Bill |
| May-1979 | A Procedure Call Proof Rule (With a Simple Explanation) | Gries, David; Levin, Gary Marc |
| Sep-1971 | Programming by Induction | Gries, David |
| Apr-1972 | Program Schemes with Pushdown Stores | Brown, Steven; Gries, David; Szymanski, Thomas G. |
| May-1975 | Proving Properties of Parallel Programs: An Axiomatic Approach | Owicki, Susan S.; Gries, David |
| Apr-1975 | Recursion as a Programming Tool | Gries, David |
| Sep-1983 | The Seven-Eleven Problem | Pritchard, Paul; Gries, David |
| May-1975 | Some Ideas on Data Types in High Level Languages | Gries, David; Gehani, Narain |
| Dec-1978 | Sorting and Searching Using Controlled Density Arrays | Melville, Robert C.; Gries, David |
| Jan-1981 | Swapping Sections | Gries, David; Mills, Harlan |
| Mar-1994 | Teaching Math More Effectively, Through the Design of Calculational Proofs | Gries, David; Schneider, Fred B. |
| Feb-1989 | Trace-Based Network Proof Systems: Expressiveness and Completeness | Widom, Jennifer; Gries, David; Schneider, Fred B. |
| Jan-1990 | Type Definitions in Polya | Volpano, Dennis M.; Gries, David |
| Sep-1987 | What Programmers Don't and Should Know | Gries, David |
Showing results 38 to 51 of 51
|
