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 algorithm analysis and problem complexity

Authors and affiliations

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

Bibliographic information

Industry Sectors
Finance, Business & Banking