Abstract | ||
---|---|---|
The categorical presentation of the CPC algorithm scheme exposes the essential ingredients of the CPC algorithm scheme which are independent from the syntacic surface. This insight is a sufficient basis to transfer the CPC algorithm scheme to other formalisms. In mathematics on the metalevel only product types have been used so far. But, in recently used higher order formalisms the function type came additionally into use. |
Year | DOI | Venue |
---|---|---|
1990 | 10.1007/3-540-54496-8_14 | ADT |
Keywords | DocType | ISBN |
Critical Pair Completion,Two-Category Approach | Conference | 3-540-54496-8 |
Citations | PageRank | References |
3 | 0.38 | 4 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Horst Reichel | 1 | 260 | 32.02 |