A new Recursion Induction Principle
Authors:
Gérard Boudol
Affiliations:
-
Venue:
Proceedings of the 4th GI-Conference on Theoretical Computer Science
Year:
1979
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