Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1982

Automata, Languages and Programming

Ninth Colloquium Aarhus, Denmark, July 12–16, 1982

Editors:

  1. Mogens Nielsen
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Erik Meineche Schmidt
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (50 papers)

  1. Front Matter

    PDF

  2. Locality in modular systems

    • R. J. R. Back, H. Mannila
    Pages 1-13

  6. On the power of nondeterminism in dynamic logic

    • Piotr Berman, Joseph Y. Halpern, Jerzy Tiuryn
    Pages 48-60

  7. Equivalence and membership problems for regular trace languages

    • A. Bertoni, G. Mauri, N. Sabadini
    Pages 61-71

  9. Extended Chomsky-Schützenberger theorems

    • Franz-Josef Brandenburg
    Pages 83-93

  10. Real time agents

    • Luoa Cardelli
    Pages 94-106

  11. Machine inductive inference and language identification

    • John Case, Christopher Lynes
    Pages 107-115

  12. Approximations of infinitary objects

    • G. Comyn, M. Dauchet
    Pages 116-127

  13. On test sets and the Ehrenfeucht conjecture

    • Karel Culik II, Juhani Karhumäki
    Pages 128-140

  14. An automata-theoretic characterization of the OI-hierarchy

    • Werner Damm, Andreas Goerdt
    Pages 141-153

  15. Fast detection of polyhedral intersections

    • David P. Dobkin, David G. Kirkpatrick
    Pages 154-165

  17. Multihead finite state automata am concatenation

    • Pavol Ďuriš, Juraj Hromkovič
    Pages 176-186

  18. Conditions enforcing regularity of context-free languages

    • A. Ehrenfeucht, D. Haussler, G. Rozenberg
    Pages 187-191

  19. Repetitions in homomorphisms and languages

    • A. Ehrenfeucht, G. Rozenberg
    Pages 192-196
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Automata, Languages and Programming

  • Book Subtitle: Ninth Colloquium Aarhus, Denmark, July 12–16, 1982

  • Editors: Mogens Nielsen, Erik Meineche Schmidt

  • Series Title: Lecture Notes in Computer Science

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1982

  • Softcover ISBN: 978-3-540-11576-2Published: 01 July 1982

  • eBook ISBN: 978-3-540-39308-5Published: 23 November 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VII, 615

  • Topics: Algorithm Analysis and Problem Complexity, Mathematical Logic and Formal Languages

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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

Search

Navigation