Geodesic

Volume 4 (2000-2001) no. 1

Sommaire

Unification of Higher-order Patterns modulo Simple Syntactic Equational Theories
Permutations avoiding an increasing number of length-increasing forbidden subsequences
Ordered Vertex Partitioning
Improved inclusion-exclusion identities via closure operators
Avoiding maximal parabolic subgroups of S_k
Sums of Digits, Overlaps, and Palindromes