Many sorted algebras (1994)

by Andrzej Trybulec
Venue:Journal of Formalized Mathematics
Citations:125 - 14 self