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

Automata, Languages and Programming

24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings

Editors:

  1. Pierpaolo Degano
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Roberto Gorrieri
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Alberto Marchetti-Spaccamela
    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 1256)

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

Conference proceedings info: ICALP 1997.

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

  1. Checking properties of polynomials

    • Bruno Codenotti, Funda Ergün, Peter Gemmell, S. Ravi Kumar
    Pages 203-213

  3. Game theoretic analysis of call-by-value computation

    • Kohei Honda, Nobuko Yoshida
    Pages 225-236

  4. On modular properties of higher order extensional lambda calculi

    • Roberto Di Cosmo, Neil Ghani
    Pages 237-247

  5. On explicit substitutions and names (extended abstract)

    • Eike Ritter, Valeria de Paiva
    Pages 248-258

  6. On the dynamics of sharing graphs

    • Andrea Asperti, Cosimo Laneve
    Pages 259-269

  7. Minimizing diameters of dynamic trees

    • Stephen Alstrup, Jacob Holm, Kristian de Lichtenberg, Mikkel Thorup
    Pages 270-280

  8. Improving spanning trees by upgrading nodes

    • S. O. Krumke, M. V. Marathe, H. Noltemeier, R. Ravi, S. S. Ravi, R. Sundaram et al.
    Pages 281-291

  11. On confluence in the π-calculus

    • Anna Philippou, David Walker
    Pages 314-324

  13. Solving trace equations using lexicographical normal forms

    • Volker Diekert, Yuri Matiyasevich, Anca Muscholl
    Pages 336-346

  16. A semantics preserving actor translation

    • Ian A. Mason, Carolyn L. Talcott
    Pages 369-378

  17. Periodic and non-periodic min-max equations

    • Uwe Schwiegelshohn, Lothar Thiele
    Pages 379-389

  18. Efficient parallel graph algorithms for coarse grained multicomputers and BSP

    • E. Cáceres, F. Dehne, A. Ferreira, P. Flocchini, I. Rieping, A. Roncato et al.
    Pages 390-400
Back to top

Other Volumes

  1. Automata, Languages and Programming

Back to top

About this book

This book constitutes the refereed proceedings of the 24th International Colloquium on Automata, Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th anniversary of the European Association for Theoretical Computer Science (EATCS), which has sponsored the ICALP meetings since 1972.
The volume presents 73 revised full papers selected from a total of 197 submissions. Also included are six invited contributions. ICALP is one of the few flagship conferences in the area. The book addresses all current topics in theoretical computer science.
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