A Birkhoff-Like Theorem for Algebraic Classes of Interpretations of Program Schemes
Authors:
José Meseguer
Affiliations:
-
Venue:
Proceedings of the International Colloquium on Formalization of Programming Concepts
Year:
1981
Citing
0
Cited
1
Survey on classes of interpretations and some of their applications
ACM SIGACT News
Quantified Score
Hi-index
0.00
Visualization
Abstract