|
|
eCommons@Cornell >
Browsing by Author "Gries, David"
Showing results 1 to 20 of 51
| Preview | Issue Date | Title | Author(s) | | Feb-1988 | The 1986-1987 Taulbee Survey Report: The Computing Research Board's Survey on the Production and Employment of Ph.D.'s and Faculty in Computer Science and Engineering | Gries, David; Marsh, Dorothy |
| May-1982 | The 711 Problem | Gries, David |
| May-1996 | Adding the Everywhere Operator to Propositional Logic | Gries, David; Schneider, Fred B. |
| Oct-1993 | An Algorithm for Processing Program Transformations | Efremidis, Sofoklis G.; Gries, David |
| Mar-1977 | Assignment to Subscripted Variables | Gries, David |
| Aug-1996 | A calculational proof of Andrews's challenge | Gries, David |
| Nov-1979 | Cand and Cor Before and Then or Else in Ada | Gries, David |
| Aug-1987 | Complete, Trace-based, Network Proof Systems: An Advisor's Perspective | Gries, David |
| Jul-1986 | Completeness and Incompleteness of Trace-Based Network Proof Systems | Widom, Jennifer; Gries, David; Schneider, Fred B. |
| Jul-1976 | Current Ideas on Programming Methodology | Gries, David |
| Dec-1972 | Describing an Algorithm by Hopcroft | Gries, David |
| Sep-1986 | Developing a Linear Algorithm for Cubing a Cyclic Permutation | Xue, Jinyun; Gries, David |
| Nov-1985 | Developing Two of Arsac's Funny Algorithms | Gries, David |
| 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; McConkey, Gladys |
| 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 |
| Feb-1997 | Formal Justification of Underspecification for S5 | Aaron, Eric; Gries, David |
| Aug-1996 | Formal versus semiformal proof in teaching predicate logic | Gries, David |
Showing results 1 to 20 of 51
|
