New Mizar articles

[Library Committee <mml@mizar.uwb.edu.pl>]

Christoph Schwarzweller submitted an article entitled:
      "Noetherian Lattices"
        (MML identifier: LATTICE6)

JingChao Chen submitted an article entitled:
      "A Small Computer Model with Push-Down Stack"
        (MML identifier: SCMPDS_1)

JingChao Chen submitted an article entitled:
      "The SCMPDS Computer and the Basic Semantics of Its Instructions"
        (MML identifier: SCMPDS_2)

JingChao Chen submitted an article entitled:
      "Computation and Program Shift in the SCMPDS Computer"
        (MML identifier: SCMPDS_3)

JingChao Chen submitted an article entitled:
      "The Construction and shiftability of Program Blocks
 for SCMPDS"
        (MML identifier: SCMPDS_4)

JingChao Chen submitted an article entitled:
      "Computation of Two Consecutive Program Blocks for SCMPDS"
        (MML identifier: SCMPDS_5)

JingChao Chen submitted an article entitled:
      "The Construction and Computation of Conditional
 Statements for SCMPDS"
        (MML identifier: SCMPDS_6)

JingChao Chen submitted an article entitled:
      "Recursive Euclide Algorithm"
        (MML identifier: SCMP_GCD)

to the Mizar Mathematical Library.  The preprints of the articles are
available at:
  
 http://mizar.org/JFM/Preprints.html
 
------------

Library Committee of the Association of Mizar Users