|
|
eCommons@Cornell >
Browsing by Author Gries, David
Showing results 3 to 22 of 51
| Preview | Issue Date | Title | Author(s) | | 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 |
| Jul-1986 | Completeness and Incompleteness of Trace-Based Network Proof Systems | Widom, Jennifer; Gries, David; Schneider, Fred B. |
| Aug-1987 | Complete, Trace-based, Network Proof Systems: An Advisor's Perspective | Gries, David |
| 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 |
| 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 |
Showing results 3 to 22 of 51
|
