Heterogeneous programming with concurrent objects
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Entailment for specification refinement
GECCO '96 Proceedings of the 1st annual conference on Genetic and evolutionary computation
Detecting redundant production rules
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
| Hi-index | 0.00 |