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 net
( price for USA )
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-37923-2
  • digitally watermarked, no DRM
  • included format:
  • eBooks can be used on all Reading Devices
Softcover $39.99 net
( 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 (3 chapter)

  • Formal language theory and theoretical computer science

    Ronald V. Book

    Pages 1-15

    Buy Chapter $29.95
  • Quantifier elimination for real closed fields by cylindrical algebraic decompostion

    George E. Collins

    Pages 134-183

    Buy Chapter $29.95
  • Piecewise testable events

    Imre Simon

    Pages 214-222

    Buy Chapter $29.95
Free Preview

Buy this book

eBook $29.99 net
( price for USA )
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-37923-2
  • digitally watermarked, no DRM
  • included format:
  • eBooks can be used on all Reading Devices
Softcover $39.99 net
( price for USA )
  • ISBN 978-3-540-07407-6
  • free shipping for individuals worldwide
  • usually dispatched within 3 to 5 business days

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
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
Topics