Publication
-
Decidability and undecidability of marked PCP In Proceedings
January 1999 -
On the null space of a Colin de Verdière matrix Article
Annales de l'Institut Fourier, 49(3), 1017-1026.January 1999 -
Space-efficient routing tables for almost all networks and the incompressibility method Article
SIAM Journal on Computing, 28(4), 1414-1432.January 1999 -
Formulas as programs Book Chapter
January 1999 -
Uniform approximations of Bernoulli and Euler polynomials in terms of hyperbolic functions Article
Studies in Applied Mathematics, 103(3), 241-258.January 1999 -
Cycle bases for lattices of binary matroids with no Fano dual minor and their one-element extensions Article
Journal of Combinatorial Theory - Series B, 77(1), 25-38.January 1999 -
Perpetual reductions in $lambda$-calculus Article
Information and Computation, 173-225.January 1999
-
Successive edge-connectivity augmentation problems In Proceedings
January 1999