Efficient solution of linear diophantine equations
Journal of Symbolic Computation
Adventures in associative-commutative unification
Journal of Symbolic Computation
Unification in permutative equational theories is undecidable
Journal of Symbolic Computation
Constraints in computational logics
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
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
A semantic framework for open processes
Theoretical Computer Science
Eliminating implicit information leaks by transformational typing and unification
FAST'05 Proceedings of the Third international conference on Formal Aspects in Security and Trust
Hi-index | 0.00 |