Varieties of iteration theories
Authors:
Stephen L. Bloom;Zoltan Esik
Affiliations:
-;-
Venue:
SIAM Journal on Computing
Year:
1988
Citing
0
Cited
1
Floyd-Hoare logic in iteration theories
Journal of the ACM (JACM)
Quantified Score
Hi-index
0.00
Visualization
Abstract