Many-sorted algebra
Jump to navigation
Jump to search
Many-sorted algebra(Q59303231) is a kind of algebra, which is closely related to many-sorted logic.
Many-sorted algebra(Q59303231) is a kind of algebra, which is closely related to many-sorted logic.