Ubiquity in category for metric spaces and transition systems

From MaRDI portal
Publication:1911848