Order:
Disambiguations
J. Strother Moore [4]J. S. Moore [3]J. Steven Moore [1]
  1. Primitive Recursive Program Transformation.J. S. Moore, R. S. Boyer & R. E. Shostak - unknown
    arbitrary flowchart programs by introducing a new recursive function for each tag point. In the above example, one obtains: int = int1, p..... 1 h ), w...., y2r )_.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  3
    A Computational Logic.Robert S. Boyer & J. Strother Moore - 1990 - Journal of Symbolic Logic 55 (3):1302-1304.
  3. A Computational Logic Handbook.Robert S. Boyer & J. Strother Moore - 1988
     
    Export citation  
     
    Bookmark   1 citation  
  4.  25
    Program Verification.Robert S. Boyer & J. Strother Moore - unknown
    How are the properties of computer programs proved? We discuss three approaches in this article: inductive invariants, functional semantics, and explicit semantics. Because the first approach has received by far the most attention, it has produced the most impressive results to date. However, the field is now moving away from the inductive invariant approach.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  3
    Integrating External Deduction Tools with ACL2.Matt Kaufmann, J. Strother Moore, Sandip Ray & Erik Reeber - 2009 - Journal of Applied Logic 7 (1):3-25.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  3
    The System of Values.J. S. Moore - 1910 - Journal of Philosophy, Psychology and Scientific Methods 7 (11):282-291.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  4
    Play It From the Heart: What You Learn From Music About Success in Life.J. Steven Moore - 2011 - Rowman & Littlefield Education.
    Former students often thank their music teachers for what they were taught about music and about life. Play it from the Heart uses stories and concepts from music education as models for success.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Some Defects in Psychoanalysis.J. S. Moore - 1923 - Psychological Review 30 (6):461-475.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark