Relations and graphs: discrete mathematics for computer scientists
Relations and graphs: discrete mathematics for computer scientists
Relational methods in computer science
Relational methods in computer science
Monomorphic characterization of n-ary direct products
Information Sciences: an International Journal - Relational methods in computer science
Lattices in dedekind categories
Relational methods for computer science applications
Normal Forms and Reduction for Theories of Binary Relations
RTA '00 Proceedings of the 11th International Conference on Rewriting Techniques and Applications
MPC '95 Mathematics of Program Construction
CTCS '95 Proceedings of the 6th International Conference on Category Theory and Computer Science
Boolean algebras and stone maps in Schröder categories
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Hi-index | 0.00 |
Groups are one of the most fundamental notions in mathematics. This paper provides a foundation of group theory in allegories. Almost all results in the paper can be applied to theory of fuzzy groups.