
eCommons@Cornell >
Browsing by Author Gries, David
Showing results 11 to 30 of 51
Preview  Issue Date  Title  Author(s)   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 
 Aug1996  Formal versus semiformal proof in teaching predicate logic  Gries, David 
 Oct1984  General Correctness: A Unification of Partial and Total Correctness  Jacobs, Dean; Gries, David 
 Sep1986  Generating a Random Cyclic Permutation  Gries, David; Xue, Jinyun 
 Apr1988  The HopcroftTarjan Planarity Algorithm, Presentation and Improvements  Gries, David; Xue, Jinyun 
 Nov1987  Inorder Traversal of a Binary Tree and its Inversion  Gries, David; Van de Snepscheut, Jan L.A. 
 Sep1985  Insitu Inversion of a Cyclic Permutation  Feijen, W. H. J.; Van Gasteren, A. J. M.; Gries, David 
 Mar1990  An Introduction to Proofs of Program Correctness for Teachers of CollegeLevel Introductory Programming Courses  Gries, David; Wadkins, Jeff 
 Jun1978  Is Sometimes Ever Better Than Always?  Gries, David 
 Jun1977  A Linear Sieve Algorithm for Finding Prime Numbers  Gries, David; Misra, Jayadev 
 Jan1986  McLaren's Masterpiece  Gries, David; Prins, Jan F. 
Showing results 11 to 30 of 51
