Algebraic Semantics of Rewriting Terms and Types
Authors:
Karl Meinke
Affiliations:
-
Venue:
CTRS '92 Proceedings of the Third International Workshop on Conditional Term Rewriting Systems
Year:
1992
Citing
0
Cited
1
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae
Quantified Score
Hi-index
0.00
Visualization
Abstract