Stock up on textbooks with 40% off + FREE shipping or choose from thousands of Protocols eBooks at just 9.99 each!

Lecture Notes in Computer Science

Logic and Machines: Decision Problems and Complexity

Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Editors: Börger, E., Hasenjaeger, G., Rödding, D. (Eds.)

Free Preview

Buy this book

eBook $39.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-38856-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $49.99
price for USA in USD
  • ISBN 978-3-540-13331-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (29 chapters)

Table of contents (29 chapters)
  • P-mitotic sets

    Pages 1-23

    Ambos-Spies, Klaus

  • Equivalence relations, invariants, and normal forms, II

    Pages 24-42

    Blass, Andreas (et al.)

  • Recurrence relations for the number of labeled structures on a finite set

    Pages 43-61

    Blatter, Chr. (et al.)

  • Recursively enumerable extensions of R1 by finite functions

    Pages 62-76

    Menzel, W. (et al.)

  • On the complement of one complexity class in another

    Pages 77-87

    Schmidt, Diana

Buy this book

eBook $39.99
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-38856-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $49.99
price for USA in USD
  • ISBN 978-3-540-13331-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logic and Machines: Decision Problems and Complexity
Book Subtitle
Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen
Editors
  • E. Börger
  • G. Hasenjaeger
  • D. Rödding
Series Title
Lecture Notes in Computer Science
Series Volume
171
Copyright
1984
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-38856-2
DOI
10.1007/3-540-13331-3
Softcover ISBN
978-3-540-13331-5
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VI, 460
Topics