Relations and their basic properties (1989)

by Edmund Woronowicz
Venue:Journal of Formalized Mathematics
Citations:982 - 6 self

Document Versions

Relations and their basic properties –Edmund Woronowicz — 1989 — Journal of Formalized Mathematics