Many sorted algebras (1994)

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