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

Automata, Languages and Programming

15th International Colloquium, Tampere, Finland, July 11-15, 1988. Proceedings

Editors:

  1. Timo Lepistö
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Arto Salomaa
    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 317)

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 (51 papers)

  2. Operational semantics of OBJ-3

    • Claude Kirchner, Hélène Kirchner, José Meseguer
    Pages 287-301

  3. Do we really need to balance patricia tries?

    • Peter Kirschenhofer, Helmut Prodinger, Wojciech Szpankowski
    Pages 302-316

  4. Contractions in comparing concurrency semantics

    • J. N. Kok, J. J. M. M. Rutten
    Pages 317-332

  5. A complexity theory of efficient parallel algorithms

    • Clyde P. Kruskal, Larry Rudolph, Marc Snir
    Pages 333-346

  6. On the learnability of DNF formulae

    • L. Kucera, A. Marchetti-Spaccamela, M. Protasi
    Pages 347-361

  11. Maximal dense intervals of grammar forms

    • Valtteri Niemi
    Pages 424-438

  12. Computations, residuals, and the power of indeterminacy

    • Prakash Panangaden, Eugene W. Stark
    Pages 439-454

  13. Nested annealing: A provable improvement to simulated annealing

    • Sanguthevar Rajasekaran, John H. Reif
    Pages 455-472

  14. Nonlinear pattern matching in trees

    • R. Ramesh, I. V. Ramakrishnan
    Pages 473-488

  16. Moving discs between polygons

    • Hans Rohnert
    Pages 502-515

  17. Optimal circuits and transitive automorphism groups

    • Steven Rudich, Leonard Berman
    Pages 516-524

  19. On minimum flow and transitive reduction

    • Klaus Simon
    Pages 535-546
Back to top

About this book

This volume contains the proceedings of ICALP 88, held at Tampere University of Technology, Finland, July 11-15, 1988. ICALP 88 is the 15th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata, formal languages, analysis of algorithms, computational complexity, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of 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.
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