Abstract data types and the development of data structures
Communications of the ACM
Improving programs by the introduction of recursion
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Big Omicron and big Omega and big Theta
ACM SIGACT News
Hi-index | 0.00 |