Combinatorics, complexity, and logic proceedings - Bridges D S ed.; International Conference on Discrete Mathematics and Theoretical Computer Science DMTCS'96 (Dec 1996 : Auckland,New Zealand); International conference on discrete mathematics and theoretical computer science Auckland, New Zealand Dec-96 (Singapore Springer-Verlag, 1997)
Keywords: Combinatorial analysis; Computational complexity; Mathematical logic; Symbolic logic