Handbook of Automated Reasoning

List of contributors

This list contains the contributors of this Handbook with the corresponding chapter numbers.

Peter B. Andrews 15 (Carnegie Mellon University, USA)

Franz Baader 8 (RWTH Aachen, Germany)

Matthias Baaz 5, 20 (Technische Universität Wien, Austria)

Leo Bachmair 2 (State University of New York at Stony Brook, USA)

Henk Barendregt 18 (University of Nijmegen, the Netherlands)

Alexander Bockmayr 12 (LORIA, France)

Alan Bundy 13 (University of Edinburgh, UK)

Diego Calvanese 23 (Università di Roma “La Sapienza”, Italy)

Shang-Ching Chou 11 (Wichita State University, USA)

Edmund M. Clarke 24 (Carnegie Mellon University, USA)

Hubert Comon 14 (Ecole Normale Supérieure ...