[Prev][Next][Index][Thread]

last issue of the paper journal FORMALIZED MATHEMATICS 5(1), 1996


[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]



My apologies for multiple copies
--------------------------------

Below are the titles from the latest issue of FORMALIZED MATHEMATICS
(ISSN 1426-2630), Vol. 5, No. 1, 1996.


Please note that:

 - FORMALIZED MATHEMATICS, published since 1990, is the proof-checked
   "paper journal" of the Mizar articles,

 - we have changed the publisher; now it is Warsaw University,
   Bialystok Campus; previously - Universite Catholique de Louvain,

 - subscriptions and orders should be sent to the address below.

Roman Matuszewski  -  Editor

e-mail:  romat@plearn.edu.pl
   fax:  +48 (22) 24-03-49

-----------------------------------------------------------------------
FORMALIZED MATHEMATICS (ISSN 1426-2630), Vol. 5, No. 1, 1996
-----------------------------------------------------------------------

ON THE DECOMPOSITION OF THE STATES OF SCM
   by Yasushi Tanaka, pp.1-8,

ON DEFINING FUNCTIONS ON BINARY TREES
   by Grzegorz Bancerek and Piotr Rudnicki, pp.9-13,

A COMPILER OF ARITHMETIC EXPRESSIONS FOR SCM
   by Grzegorz Bancerek and Piotr Rudnicki, pp.15-20,

SOME PROPERTIES OF THE INTERVALS
   by Jozef Bialas, pp.21-26,

BINARY ARITHMETICS, ADDITION AND SUBTRACTION OF INTEGERS
   by Yasuho Mizuhara and Takaya Nishiyama, pp.27-29,

BOOLEAN PROPERTIES OF LATTICES
   by Agnieszka Julia Marasik, pp.31-35,

MANY SORTED ALGEBRAS
   by Andrzej Trybulec, pp.37-42,

ON THE GROUP OF INNER AUTOMORPHISMS
   by Artur Kornilowicz, pp.43-45,

SUBALGEBRAS OF MANY SORTED ALGEBRA. LATTICE OF SUBALGEBRAS
   by Ewa Burakowska, pp.47-54,

PRODUCTS OF MANY SORTED ALGEBRAS
   by Beata Madras, pp.55-60,

HOMOMORPHISMS OF MANY SORTED ALGEBRAS
   by Malgorzata Korolkiewicz, pp.61-65,

FREE MANY SORTED UNIVERSAL ALGEBRA
   by Beata Perkowska, pp.67-74,

$T_0$ TOPOLOGICAL SPACES
   by Mariusz Zynel and Adam Guzowski, pp.75-77,

MANY SORTED QUOTIENT ALGEBRA
   by Malgorzata Korolkiewicz, pp.79-84,

QUANTALES
   by Grzegorz Bancerek, pp.85-91,

SEQUENCES IN ${\cal E}^{N}_{\rm T}$
   by Agnieszka Sakowicz, Jaroslaw Gryko and Adam Grabowski, pp.93-96,

EXTREMAL PROPERTIES OF VERTICES ON SPECIAL POLYGONS, PART I
   by Yatsuka Nakamura and Czeslaw Bylinski, pp.97-102,

RELOCATABILITY
   by Yasushi Tanaka, pp.103-108,

MAXIMAL ANTI-DISCRETE SUBSPACES OF TOPOLOGICAL SPACES
   by Zbigniew Karno, pp.109-118,

ON KOLMOGOROV TOPOLOGICAL SPACES
   by Zbigniew Karno, pp.119-124,

MAXIMAL KOLMOGOROV SUBSPACES OF A TOPOLOGICAL SPACE
AS STONE RETRACTS OF THE AMBIENT SPACE
   by Zbigniew Karno, pp.125-130,

PROJECTIVE PLANES
   by Michal Muzalewski, pp.131-136,

THE FORMALIZATION OF SIMPLE GRAPHS
   by Yozo Toda, pp.137-144,

SOLVABLE GROUPS
   by Katarzyna Zawadzka, pp.145-147,
-----------------------------------------------------------------------