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

Automata, Languages and Programming

14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987. Proceedings

Editors:

  1. Thomas Ottmann
    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 267)

Conference series link(s): ICALP: International Colloquium on Automata, Languages, and Programming

Conference proceedings info: ICALP 1987.

Sections

Buy it now

Softcover Book USD 109.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 (49 papers)

  1. Front Matter

    PDF

  3. Logic programming with ions

    • M. A. Nait Abdallah
    Pages 11-20

  4. Inverse image analysis

    • Peter Dybjer
    Pages 21-30

  5. A unification algorithm for confluent theories

    • Steffen Hölldobler
    Pages 31-41

  7. On word problems in equational theories

    • Jieh Hsiang, Michael Rusinowitch
    Pages 54-71

  8. Semantics for nondeterministic asynchronous broadcast networks

    • R. K. Shyamasundar, K. T. Narayana, T. Pitassi
    Pages 72-83

  9. Another look at abstraction in process algebra

    • J. C. M. Baeten, R. J. van Glabbeek
    Pages 84-94

  11. Readiness semantics for regular processes with silent actions

    • Susanne Graf, Joseph Sifakis
    Pages 115-125

  12. Verifying a protocol using relativized bisimulation

    • Kim G. Larsen, Robin Milner
    Pages 126-135

  13. On recent trends in formal language theory

    • Juhani Karhumäki
    Pages 136-162

  14. Non-uniform automata over groups

    • David A. Barrington, Denis Thérien
    Pages 163-173

  15. Minimal automaton of a rational cover

    • D. Beauquier
    Pages 174-189

  17. Single-valued finite transduction

    • J. Howard Johnson
    Pages 202-211
Back to top

Other Volumes

  1. Automata, Languages and Programming

Back to top

About this book

This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer Science (EATCS) and held in Karlsruhe, July 13-17, 1987. The papers report on original research in theoretical computer science and cover topics such as algorithms and data structures, automata and formal languages, computability and complexity theory, semantics of programming languages, program specification, transformation and verification, theory of data bases, logic programming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, symbolic and algebraic computation, term rewriting systems, cryptography, and theory of robotics. The authors are young scientists and leading experts in these areas.
Back to top

Keywords

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 109.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