Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations

Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations Grazyna Mirkowska 14-21 conf/stoc/STOC12 1980 STOC db/conf/stoc/stoc80.html#Mirkowska80