Higher order generalization and its application in program verification
Annals of Mathematics and Artificial Intelligence
Tractable and intractable second-order matching problems
COCOON'99 Proceedings of the 5th annual international conference on Computing and combinatorics
Hi-index | 0.00 |