
eCommons@Cornell >
Browsing by Author Gries, David
Showing results 21 to 40 of 51
Preview  Issue Date  Title  Author(s)   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. 
 Jun1985  A Model and Temporal proof system for Networks of Processes  Nguyen, Van Long; Demers, Alan J.; Gries, David; Owicki, Susan S. 
 Nov1984  A Model and Temporal Proof System for Networks of Processes  Nguyen, Van Long; Gries, David; Owicki, Susan S. 
 Feb1994  A New Approach to Teaching Mathematics  Gries, David; Schneider, Fred B. 
 Sep1977  A Note on Iteration  Gries, David 
 Mar1974  A Note on Program Development  Gries, David 
 Oct1982  A Note on the Standard Strategy for Developing Loop Invariants and Loops  Gries, David 
 Apr1995  On Presenting Monotonicity and On EA=>AE  Gries, David 
 Mar1988  Presenting an Algorithm to Find the Minimum Edit Distance  Gries, David; Burkhardt, Bill 
 May1979  A Procedure Call Proof Rule (With a Simple Explanation)  Gries, David; Levin, Gary Marc 
 Sep1971  Programming by Induction  Gries, David 
Showing results 21 to 40 of 51
