The role of term symmetry in E-completion procedures
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Unification for completely commutative theories
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
An Intelligent Tutoring System for the Dijkstra-Gries Methodology
IEEE Transactions on Software Engineering
Hi-index | 0.00 |