
eCommons@Cornell >
Browsing by Author Gries, David
Showing results 1 to 20 of 51
Preview  Issue Date  Title  Author(s)   Feb1988  The 19861987 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 
 May1982  The 711 Problem  Gries, David 
 May1996  Adding the Everywhere Operator to Propositional Logic  Gries, David; Schneider, Fred B. 
 Oct1993  An Algorithm for Processing Program Transformations  Efremidis, Sofoklis G.; Gries, David 
 Mar1977  Assignment to Subscripted Variables  Gries, David 
 Aug1996  A calculational proof of Andrews's challenge  Gries, David 
 Nov1979  Cand and Cor Before and Then or Else in Ada  Gries, David 
 Jul1986  Completeness and Incompleteness of TraceBased Network Proof Systems  Widom, Jennifer; Gries, David; Schneider, Fred B. 
 Aug1987  Complete, Tracebased, Network Proof Systems: An Advisor's Perspective  Gries, David 
 Jul1976  Current Ideas on Programming Methodology  Gries, David 
 Dec1972  Describing an Algorithm by Hopcroft  Gries, David 
 Sep1986  Developing a Linear Algorithm for Cubing a Cyclic Permutation  Xue, Jinyun; Gries, David 
 Nov1985  Developing Two of Arsac's Funny Algorithms  Gries, David 
 Apr1980  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 
 Sep1994  Equational Propositional Logic  Gries, David; Schneider, Fred B. 
 Sep1983  FaultTolerant Broadcasts  Schneider, Fred B.; Gries, David; Schlichting, Richard D. 
 Jul1982  Finding Repeated Elements  Misra, Jayadev; Gries, David 
 May1998  Formalizations Of Substitution Of Equals For Equals  Gries, David; Schneider, Fred B. 
 Feb1997  Formal Justification of Underspecification for S5  Aaron, Eric; Gries, David 
Showing results 1 to 20 of 51
