Works by Peter Schmitt

( view other items matching `Peter Schmitt`, view all matches )
6 found
Order:
Disambiguations
Peter H. Schmitt [9]Peter Schmitt [2]
  1.  15
    The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup.Peter H. Schmitt - 1982 - Mathematical Logic Quarterly 28 (22‐24):323-329.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  19
    Back to Nature: The Arcadian Myth in Urban America.Paul C. Violas & Peter Schmitt - 1970 - Journal of Aesthetic Education 4 (4):141.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  3.  32
    The Elementary Theory of Torsionfree Abelian Groups With a Predicate Specifying a Subgroup.Peter H. Schmitt - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (22-24):323-329.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  4. Program Verification-Verifying Object-Oriented Programs with KeY: A Tutorial.Wolfgang Ahrendt, Bernhard Beckert, Reiner Hahnle, Philipp Rummer & Peter H. Schmitt - 2006 - In O. Stock & M. Schaerf (eds.), Lecture Notes in Computer Science. Springer Verlag. pp. 70.
    No categories
     
    Export citation  
     
    Bookmark  
  5.  42
    Undecidable lt theories of topological Abelian groups.Gregory L. Cherlin & Peter H. Schmitt - 1981 - Journal of Symbolic Logic 46 (4):761 - 772.
    We prove the hereditary undecidability of the L t theories of: (1) torsion-free Hausdorff topological abelian groups; (2) locally pure Hausdorff topological abelian groups.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  53
    Logic programming languages, constraints, functions, and objects, edited by K. R. Apt, J. W. de Bakker, and J. J. M. M. Rutten, Logic programming, The MIT Press, Cambridge, Mass., and London, 1993, xiv + 204 pp. [REVIEW]Peter H. Schmitt - 1995 - Journal of Symbolic Logic 60 (4):1327-1328.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark