An algorithm for verifying equations of morphisms in a category
Dietmar Wätjen, Werner StruckmannVolume:
14
Year:
1982
Language:
english
Pages:
5
DOI:
10.1016/0020-0190(82)90063-1
File:
PDF, 686 KB
english, 1982