Skip to main content
  • Conference proceedings
  • © 1977

Theoretical Computer Science

3rd GI Conference Darmstadt, March 28-30, 1977

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 48)

Buy it now

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (33 papers)

  1. Front Matter

  2. On polynomial time isomorphisms of complete sets

    • L. Berman, J. Hartmanis
    Pages 1-16
  3. New bounds on formula size

    • M. S. Paterson
    Pages 17-26
  4. A comparative study of one-counter Ianov schemes

    • Tadashi AE, Toru Kikuno, Norio Tamura
    Pages 83-95
  5. Grobstrukturen für kontextfreie Grammatiken

    • E. -W. Dieterich
    Pages 96-105
  6. On one-way Auxiliary pushdown automata

    • F. -J. Brandenburg
    Pages 132-144
  7. Un langage algebrique non-generateur

    • L. Boasson
    Pages 145-148
  8. Cylindres de langages simples et pseudo-simples

    • J. -M. Autebert
    Pages 149-153
  9. Systemes schematiques generalises

    • L. Kott
    Pages 184-189
  10. Towards automation of proofs by induction

    • F. W. von Henke
    Pages 208-214

Bibliographic Information

  • Book Title: Theoretical Computer Science

  • Book Subtitle: 3rd GI Conference Darmstadt, March 28-30, 1977

  • Editors: H. Tzschach, H. Waldschmidt, H. K.-G. Walter

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-08138-0

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1977

  • Softcover ISBN: 978-3-540-08138-8Published: 01 March 1977

  • eBook ISBN: 978-3-540-37389-6Published: 14 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 428

  • Topics: Theory of Computation, Computer Science, general

Buy it now

Buying options

Softcover Book USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access