Skip to main content
SpringerLink
Log in
Book cover

GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen pp 254–262Cite as

Über eine Hierarchie von Push-Down-Entscheidbaren Mengen

  • Algorithmen- Und Komplexitätstheorie
  • Conference paper
  • First Online:

  • 1623 Accesses

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

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Indermark, K. Programmschemata mit booleschen Unterprogrammen. Lecture Notes in Ec. and Math. Syst., 78 (1973), pp. 107–115

    Google Scholar 

  2. Penner, V. Entscheidbarkeit und Akzeptierbarkeit auf Push-Down-Store-Maschinen. Schriften aus dem Gebiet der Angew. Math., 1 (1972), Aachen

    Google Scholar 

  3. Penner, V. Push-Down-Store-berechenbare Funktionen, Schriften zur Informatik und Angew. Math., 5 (1973), Aachen

    Google Scholar 

  4. Scott, D. Some definitional suggestions for automata theory. Journal of Comp. and Syst. Sc. 1 (1967), pp. 187–212

    Google Scholar 

Download references

Authors
  1. V. Penner
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1973 Springer-Verlag

About this paper

Cite this paper

Penner, V. (1973). Über eine Hierarchie von Push-Down-Entscheidbaren Mengen. In: GI Gesellschaft für Informatik e. V. 1. Fachtagung über Automatentheorie und Formale Sprachen. Lecture Notes in Computer Science, vol 2. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0039162

Download citation

  • DOI: https://doi.org/10.1007/BFb0039162

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-06527-2

  • Online ISBN: 978-3-540-37826-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation