Journal of Formalized Mathematics, Volume 4, 1992

Table of contents

1. Separated and Weakly Separated Subspaces of Topological Spaces
   by Zbigniew Karno
   
2. Some Properties of Binary Relations
   by Waldemar Korczynski
   
3. Definitons of Petri Net. Part I
   by Waldemar Korczynski
   
4. Definitons of Petri Net. Part II
   by Waldemar Korczynski
   
5. Definitons of Petri Net. Part III
   by Waldemar Korczynski
   
6. The de l'Hospital Theorem
   by Malgorzata Korolkiewicz
   
7. Comma Category
   by Grzegorz Bancerek and Agata Darmochwal
   
8. Context-Free Grammar - Part I
   by Patricia L. Carlson and Grzegorz Bancerek
   
9. Completeness of the $\sigma$-Additive Measure. Measure Theory
   by Jozef Bialas
   
10. Series in Banach and Hilbert Spaces
    by Elzbieta Kraszewska and Jan Popiolek
    
11. Products and Coproducts in Categories
    by Czeslaw Bylinski
    
12. Transpose Matrices and Groups of Permutations
    by Katarzyna Jankowska
    
13. Complete Lattices
    by Grzegorz Bancerek
    
14. Continuity of Mappings over the Union of Subspaces
    by Zbigniew Karno
    
15. Functional Sequence from a Domain to a Domain
    by Beata Perkowska
    
16. Reper Algebras
    by Michal Muzalewski
    
17. Isomorphisms of Cyclic Groups. Some Properties of Cyclic Groups
    by Dariusz Surowik
    
18. Some Isomorphisms Between Functor Categories
    by Andrzej Trybulec
    
19. The Lattice of Domains of a Topological Space
    by Toshihiko Watanabe
    
20. Submodules
    by Michal Muzalewski
    
21. Oriented Metric-Affine Plane - Part II
    by Jaroslaw Zajkowski
    
22. Opposite Rings, Modules and Their Morphisms
    by Michal Muzalewski
    
23. Properties of Caratheodor's Measure
    by Jozef Bialas
    
24. Completeness of the Lattices of Domains of a Topological Space
    by Zbigniew Karno and Toshihiko Watanabe
    
25. On Paracompactness of Metrizable Spaces
    by Leszek Borys
    
26. The Brouwer Fixed Point Theorem for Intervals
    by Toshihiko Watanabe
    
27. On Powers of Cardinals
    by Grzegorz Bancerek
    
28. Basic Properties of Connecting Points with Line Segments in $\calE^2_\rm T$
    by Yatsuka Nakamura and Jaroslaw Kotowicz
    
29. Connectedness Conditions Using Polygonal Arcs
    by Yatsuka Nakamura and Jaroslaw Kotowicz
    
30. Introduction to Go-Board - Part I
    by Jaroslaw Kotowicz and Yatsuka Nakamura
    
31. Introduction to Go-Board - Part II
    by Jaroslaw Kotowicz and Yatsuka Nakamura
    
32. Properties of Go-Board - Part III
    by Jaroslaw Kotowicz and Yatsuka Nakamura
    
33. Go-Board Theorem
    by Jaroslaw Kotowicz and Yatsuka Nakamura
    
34. The Jordan's Property for Certain Subsets of the Plane
    by Yatsuka Nakamura and Jaroslaw Kotowicz
    
35. The Lattice of Domains of an Extremally Disconnected Space
    by Zbigniew Karno
    
36. A Mathematical Model of CPU
    by Yatsuka Nakamura and Andrzej Trybulec
    
37. Cartesian Categories
    by Czeslaw Bylinski
    
38. Algebra of Vector Functions
    by Hiroshi Yamazaki and Yasunari Shidama
    
39. On a Duality Between Weakly Separated Subspaces of Topological Spaces
    by Zbigniew Karno
    
40. Basic Petri Net Concepts
    by Pauline N. Kawamoto, Yasushi Fuwa, and Yatsuka Nakamura
    
41. Finite Topological Spaces
    by Hiroshi Imura and Masayoshi Eguchi
    
42. Sets and Functions of Trees and Joining Operations of Trees
    by Grzegorz Bancerek
    
43. Sum and Product of Finite Sequences of Elements of a Field
    by Katarzyna Zawadzka
    
44. On a Mathematical Model of Programs
    by Yatsuka Nakamura and Andrzej Trybulec
    
45. Basic Notation of Universal Algebra
    by Jaroslaw Kotowicz, Beata Madras, and Malgorzata Korolkiewicz
    
46. Coherent Space
    by Jaroslaw Kotowicz and Konrad Raczkowski
    
47. Monoids
    by Grzegorz Bancerek
    
48. Monoid of Multisets and Subsets
    by Grzegorz Bancerek
    
49. Product of Families of Groups and Vector Spaces
    by Anna Lango and Grzegorz Bancerek