A Two-Category Approach to Critical Pair Completion
Authors:
Horst Reichel
Affiliations:
-
Venue:
Proceedings of the 7th Workshop on Abstract Data Types: Recent Trends in Data Type Specification
Year:
1990
Citing
0
Cited
1
Rewriting via coinserters
Nordic Journal of Computing
Quantified Score
Hi-index
0.00
Visualization
Abstract