Advertisement

© 1996

Collegium Logicum

Conference proceedings

Part of the Collegium Logicum book series (COLLLOGICUM, volume 2)

Table of contents

  1. Front Matter
    Pages i-vii
  2. Manfred Kerber, Michael Kohlhase
    Pages 21-49
  3. Jan Krajíček
    Pages 56-64
  4. Pavel Pudlák
    Pages 65-86
  5. Rudolf Freund, Ludwig Staiger
    Pages 118-137
  6. Back Matter
    Pages 139-143

About these proceedings

Keywords

Resolution Turing machine complexity complexity theory logic mathematical logic proof

Authors and affiliations

  1. 1.Institut für ComputersprachenTechnische Universität WienViennaAustria

Bibliographic information

Industry Sectors
Finance, Business & Banking