Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
Journal of the ACM (JACM)
A numbering system for combinations
Communications of the ACM
An improved program-synthesizing algorithm and its correctness
Communications of the ACM
Experiment with an automatic theorem-prover having partial ordering inference rules
Communications of the ACM
Finding Prototypes For Nearest Neighbor Classifiers
IEEE Transactions on Computers
| Hi-index | 0.00 |