Skip to main content
SpringerLink
Log in
Book cover

Automata, Languages and Programming

26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Jirí Wiedermann

    1. Institute for Computer Science, Academy of Sciences of the Czech Republic, Prague 8 - Liben, Czech Republic

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter Emde Boas

    1. ILLC-WINS-University of Amsterdam, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mogens Nielsen

    1. BRICS, Department of Computer Science, University of Aarhus, Aarhus C, Denmark

    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 1644)

Included in the following conference series:

Conference proceedings info: ICALP 1999.

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (68 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Invited Talks

    1. Generating Hard Instances of the Short Basis Problem

      • Miklós Ajtai
      Pages 1-9

    2. Wide Area Computation

      • Luca Cardelli
      Pages 10-24

    3. Proof Techniques for Cryptographic Protocols

      • Kevin J. Compton, Scott Dexter
      Pages 25-39

    4. Type Structure for Low-Level Programming Languages

      • Karl Crary, Greg Morrisett
      Pages 40-54

    5. Real Computations with Fake Numbers

      • Felipe Cucker
      Pages 55-73

    6. A Model for Associative Memory, a Basis for Thinking and Consciousness

      • N. G. de Bruijn
      Pages 74-89

    7. Numerical Integration with Exact Real Arithmetic

      • Abbas Edalat, Marko Krznarić
      Pages 90-104

    8. Observations about the Nature and State of Computer Science

      • Juris Hartmanis
      Pages 105-105

    9. DNA Computing: New Ideas and Paradigms

      • Grzegorz Rozenberg, Arto Salomaa
      Pages 106-118

    10. Online Data Structures in External Memory

      • Jeffrey Scott Vitter
      Pages 119-133

    11. From Computational Learning Theory to Discovery Science

      • Osamu Watanabe
      Pages 134-148

  3. Contributed Papers

    1. Bounded Depth Arithmetic Circuits: Counting and Closure

      • Eric Allender, Samir Datta, Andris Ambainis, David A. Mix Barrington, Huong LêThanh
      Pages 149-158

    2. Parametric Temporal Logic for “Model Measuring”

      • Rajeev Alur, Kousha Etessami, Salvatore La Torre, Doron Peled
      Pages 159-168

    3. Communicating Hierarchical State Machines

      • Rajeev Alur, Sampath Kannan, Mihalis Yannakakis
      Pages 169-178

    4. Small Pseudo-Random Sets Yield Hard Functions: New Tight Explicit Lower Bounds for Branching Programs

      • Alexander E. Andreev, Juri L. Baskakov, Andrea E. F. Clementi, José D. P. Rolim
      Pages 179-189

    5. General Morphisms of Petri Nets (Extended Abstract)

      • Marek A. Bednarczyk, Andrzej M. Borzyszkowski
      Pages 190-199

    6. On Some Tighter Inapproximability Results (Extended Abstract)

      • Piotr Berman, Marek Karpinski
      Pages 200-209

    7. Decomposition and Composition of Timed Automata

      • Patricia Bouyer, Antoine Petit
      Pages 210-219

    8. New Applications of the Incompressibility Method (Extended Abstract)

      • Harry Buhrman, Paul Vitányi, Tao Jiang, Ming Li
      Pages 220-229
Back to top

Keywords

Editors and Affiliations

  • Institute for Computer Science, Academy of Sciences of the Czech Republic, Prague 8 - Liben, Czech Republic

    Jirí Wiedermann

  • ILLC-WINS-University of Amsterdam, Amsterdam, The Netherlands

    Peter Emde Boas

  • BRICS, Department of Computer Science, University of Aarhus, Aarhus C, Denmark

    Mogens Nielsen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation