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

Grazyna Mirkowska

Browse the full STOC paper archive.