Login / Signup
Complete Axiomatization of Algorithmic Properties of Program Schemes with Bounded Nondeterministic Interpretations
Grazyna Mirkowska
Published in:
STOC (1980)
Keyphrases
</>
complete axiomatization
computer programs
desirable properties