A first course in combinatorial mathematics (2nd ed.)
A first course in combinatorial mathematics (2nd ed.)
Symbolic Solution of Finite-Difference Equations
ACM Transactions on Mathematical Software (TOMS)
Journal of the ACM (JACM)
Task granularity analysis in logic programs
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Cost analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Symbolic analysis for parallelizing compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computer-assisted microanalysis of programs
Communications of the ACM
Constraint-Based Termination Analysis for Cyclic Active Database Rules
CL '00 Proceedings of the First International Conference on Computational Logic
Computer-aided micro-analysis of programs
ICSE '79 Proceedings of the 4th international conference on Software engineering
| Hi-index | 0.02 |