On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Fast sort computations for order-sorted matching and unification
Formal modeling
Hi-index | 0.00 |