## Many sorted algebras (1994)

by
Andrzej Trybulec

Venue: | Journal of Formalized Mathematics |

Citations: | 125 - 14 self |