Lecture Notes in Computer Science

Automata Theory and Formal Languages

2nd GI Conference, Kaiserslautern, May 20-23, 1975

Editors: Brakhage, H. (Ed.)

Buy this book

eBook $29.99
price for USA (gross)
  • ISBN 978-3-540-37923-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $39.99
price for USA
  • ISBN 978-3-540-07407-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (4 chapters)

  • Formal language theory and theoretical computer science

    Ronald V. Book

    Pages 1-15

  • Quantifier elimination for real closed fields by cylindrical algebraic decompostion

    George E. Collins

    Pages 134-183

  • Piecewise testable events

    Imre Simon

    Pages 214-222

  • Welcher Art Ergebnisse erwartet der Compilerbau von der Theoretischen Informatik?

    Hans Langmaack

    Pages 259-273

Buy this book

eBook $29.99
price for USA (gross)
  • ISBN 978-3-540-37923-2
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $39.99
price for USA
  • ISBN 978-3-540-07407-6
  • 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
Automata Theory and Formal Languages
Book Subtitle
2nd GI Conference, Kaiserslautern, May 20-23, 1975
Editors
  • H. Brakhage
Series Title
Lecture Notes in Computer Science
Series Volume
33
Copyright
1975
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-37923-2
DOI
10.1007/3-540-07407-4
Softcover ISBN
978-3-540-07407-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 292
Topics