Relative Complexities of First Order Calculi

  • Authors
  • Elmar Eder

Table of contents

  1. Front Matter
    Pages i-2
  2. Elmar Eder
    Pages 3-5
  3. Elmar Eder
    Pages 7-43
  4. Elmar Eder
    Pages 79-135
  5. Elmar Eder
    Pages 136-158
  6. Back Matter
    Pages 159-174

About this book

Keywords

Analysis Beweis Beweisen Extension Funktion Komplexität Komplexitätstheorie Lehrsatz Logik Simulation Suchstrategie

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-84222-0
  • Copyright Information Springer Fachmedien Wiesbaden GmbH 1992
  • Publisher Name Vieweg+Teubner Verlag
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-528-05122-8
  • Online ISBN 978-3-322-84222-0
  • About this book
Industry Sectors
Pharma
Automotive
Consumer Packaged Goods
Aerospace
Oil, Gas & Geosciences