Covarieties and complete covarieties (0)

by H P Gumm, T Schröder
Venue:Theoretical Computer Science