ACM SIGACT News
A critical review of the notion of algorithm in computer science
CSC '93 Proceedings of the 1993 ACM conference on Computer science
The central role of mathematical logic in computer science
SIGCSE '90 Proceedings of the twenty-first SIGCSE technical symposium on Computer science education
Ensuring termination by typability
Information and Computation
Hi-index | 0.00 |