Programmable applications: interpreter meets interface
ACM SIGCHI Bulletin
Computer algebra handbook
An Average-Case Analysis of the Gaussian Algorithm for Lattice Reduction
Combinatorics, Probability and Computing
FOCS '05 Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science
Termination of String Rewriting Proved Automatically
Journal of Automated Reasoning
The number of transversals in a Latin square
Designs, Codes and Cryptography
The Frobenius Problem and Its Generalizations
DLT '08 Proceedings of the 12th international conference on Developments in Language Theory
On the number of transversals in Cayley tables of cyclic groups
Discrete Applied Mathematics
An exact and polynomial distance-based algorithm to reconstruct single copy tandem duplication trees
CPM'03 Proceedings of the 14th annual conference on Combinatorial pattern matching
Compound orthomorphisms of the cyclic group
Finite Fields and Their Applications
| Hi-index | 0.00 |