Maintaining state constraints in relational databases: a proof theoretic basis
Journal of the ACM (JACM)
Constructing specification morphisms
Journal of Symbolic Computation - Special issue on automatic programming
On the mechanical derivation of loop invariants
Journal of Symbolic Computation - Special issue on automatic programming
Skolem functions and equality in automated deduction
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Hi-index | 0.89 |