Inductive methods for reasoning about abstract data types
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
A theory of using history for equational systems with applications
Journal of the ACM (JACM)
Hi-index | 0.00 |