Table of contents

Lattice of Congruences in a Many Sorted Algebra
by
Robert Milewski

Miscellaneous Facts about Functions
by
Grzegorz Bancerek and
Andrzej Trybulec

Examples of Category Structures
by
Andrzej Trybulec

On the Category of Posets
by
Adam Grabowski

An Extension of \bf SCM
by
Andrzej Trybulec,
Yatsuka Nakamura,
and
Piotr Rudnicki

Components and Unions of Components
by
Yatsuka Nakamura and
Andrzej Trybulec

The \bf $SCM_FSA$ computer
by
Andrzej Trybulec,
Yatsuka Nakamura,
and
Piotr Rudnicki

On the Many Sorted Closure Operator and the Many Sorted Closure System
by
Artur Kornilowicz

Computation in \bf $SCM_FSA$
by
Andrzej Trybulec and
Yatsuka Nakamura

On the Closure Operator and the Closure System of Many Sorted Sets
by
Artur Kornilowicz

Translations and Endomorphisms in Many Sorted Algebras
by
Grzegorz Bancerek

More on the Lattice of Many Sorted Equivalence Relations
by
Robert Milewski

Modifying addresses of instructions of \bf $SCM_FSA$
by
Andrzej Trybulec and
Yatsuka Nakamura

The correspondence between monotonic many sorted signatures and wellfounded graphs
by
Czeslaw Bylinski and
Piotr Rudnicki

Relocability for \bf $SCM_FSA$
by
Andrzej Trybulec and
Yatsuka Nakamura

More on the Lattice of Congruences in a Many Sorted Algebra
by
Robert Milewski

The correspondence between monotonic many sorted signatures and well founded graphs. Part II
by Czeslaw Bylinski and Piotr Rudnicki

Functors for Alternative Categories
by Andrzej Trybulec

Basic Properties about Functor Structures
by Claus Zinn and Wolfgang Jaksch

Some Multiinstructions defined by sequence of instructions of SCM+FSA
by Noriko Asamoto

More on Products of Many Sorted Algebras
by Mariusz Giero

Adjacency Concept for Pairs of Natural Numbers
by Yatsuka Nakamura and Andrzej Trybulec
Received June 10, 1996

Inverse Limits of Many Sorted Algebras
by Adam Grabowski

On the Trivial Many Sorted Algebras and Many Sorted
Congruences
by Artur Korni\l owicz

Examples of Category Structures
by Adam Grabowski

On the compositions of macro instructions
by Andrzej Trybulec , Yatsuka Nakamura and Noriko Asamoto

Memory handling for SCM+FSA
by Piotr Rudnicki and Andrzej Trybulec

Some Topological Properties of Cells in $R^2$
by Yatsuka Nakamura and Andrzej Trybulec

On the compositions of macro instructions, Part II
by Noriko Asamoto , Yatsuka Nakamura , Piotr Rudnicki and Andrzej Trybulec

The First Part of Jordan's Theorem for Special Polygons
by Yatsuka Nakamura and Andrzej Trybulec

On the compositions of macro instructions, Part III
by Noriko Asamoto , Yatsuka Nakamura , Piotr Rudnicki and Andrzej Trybulec

Constant assignment macro instructions of SCM+FSA, Part II
by Noriko Asamoto

Conditional branch macro instructions of SCM+FSA, Part I (preliminary)
by Noriko Asamoto

Conditional branch macro instructions of SCM+FSA, Part II
by Noriko Asamoto

Bounds in Posets and Relational Substructures
by Grzegorz Bancerek

Directed Sets, Nets, Ideals, Filters, and Maps
by Grzegorz Bancerek

Fixpoints in complete lattices
by Piotr Rudnicki and Andrzej Trybulec

Boolean Posets, Posets under Inclusion and Products of Relational Structures
by Adam Grabowski and Robert Milewski

Properties of Relational Structures, Posets, Lattices and Maps
by Mariusz \.Zynel and Czes{\l}aw Byli\'nski

Galois Connections
by Czes\law Byli\'nski

Cartesian Products of Relations and Relational Structures
by Artur Korni{\l}owicz

Definitions and Properties of the Join and Meet of Subsets
by Artur Korni{\l}owicz

Meet  continuous Lattices
by Artur Korni{\l}owicz

The "WayBelow" Relation
by Grzegorz Bancerek

Auxiliary and Approximating Relations
by Adam Grabowski

2's Complement Circuit
by Katsumi Wasaki and Pauline N. Kawamoto

The Equational Characterization
by Mariusz \.Zynel

Miscellaneous Facts about Relation Structure
by Agnieszka Julia Marasik

MooreSmith Convergence
by Andrzej Trybulec

Duality in Relation Structures
by Grzegorz Bancerek

Irreducible and Prime Elements
by Beata Madras

Prime Ideals and Filters
by Grzegorz Bancerek

Algebraic Lattices
by Robert Milewski

Reconstructions of Special Sequences
by Yatsuka Nakamura and Roman Matuszewski

Conjugate Sequences, Bounded Complex Sequences and Convergent
Complex Sequences
by Adam Naumowicz

On The Topological Properties of MeetContinuous Lattices
by Artur Kornilowicz

Institution of Manysorted Algebras, Part I : Signature
Reduct of an Algebra
by Grzegorz Bancerek
[MML identifier index,
Mizar home page]