๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An axiomatization of the algebra of transformations over a set

โœ Scribed by A. S. Davis


Publisher
Springer
Year
1966
Tongue
English
Weight
387 KB
Volume
164
Category
Article
ISSN
0025-5831

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


An axiomatization of the algebra of Petr
โœ Vladimiro Sassone ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 867 KB

The concatenable processes of a Petri net N can be characterized abstractly as the arrows of a symmetric monoidal category ~(N). However, this is only a partial axiomatization, since it is based on a concrete, ad hoe chosen, category of symmetries Sym N. In this paper we give a completely abstract

The number of algebras over simple sets
โœ N. Kh. Kasymov ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› SP MAIK Nauka/Interperiodica ๐ŸŒ English โš– 141 KB
An axiomatization of the nucleolus
โœ J. A. M. Potters ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› Springer-Verlag ๐ŸŒ English โš– 446 KB
An extension of the algebra of sets
โœ Jerzy Sล‚upecki; Krystyna Pirรณg-Rzepecka ๐Ÿ“‚ Article ๐Ÿ“… 1973 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 1009 KB