1

Click here to load reader

dfadsf

Embed Size (px)

DESCRIPTION

asdfasdfsdfsdfsdfs

Citation preview

  • 1993, XIII, 703 p.

    Printed book

    Softcover 119,99 | 108.00 | $169.00 *128,39(D) | 131,99(A) | CHF160.00

    eBook

    Available from your library or springer.com/shop

    MyCopy

    Printed eBook for just | $ 24.99 springer.com/mycopy

    Order online at springer.com or for the Americas call (toll free) 1-800-SPRINGER or email us at:[email protected]. For outside the Americas call +49 (0) 6221-345-4301 or email us at:[email protected].

    The first price and the and $ price are net prices, subject to local VAT. Prices indicated with * include VAT for books; the (D) includes 7% forGermany, the (A) includes 10% for Austria. Prices indicated with ** include VAT for electronic products; 19% for Germany, 20% for Austria. All pricesexclusive of carriage charges. Prices and other details are subject to change without notice. All errors and omissions excepted.

    A. Lingas, R. Karlsson, S. Carlsson (Eds.)Automata, Languages and Programming20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings

    Series: Lecture Notes in Computer Science, Vol. 700

    The International Colloquium on Automata, Languages andProgramming (ICALP) is an annual conference series sponsoredby the European Association for Theoretical Computer Science(EATCS). It is intended to cover all important areas oftheoretical computer science, such as: computability,automata,formal languages, term rewriting, analysis ofalgorithms, computational geometry, computationalcomplexity, symbolic and algebraic computation,cryptography, data types and data structures, theory ofdata bases and knowledge bases, semantics of programminglanguages, program specification, transformation andverification, foundations of logicprogramming, theory oflogical design and layout, parallel and distributedcomputation, theory of concurrency, and theory of robotics.This volume contains the proceedings of ICALP 93, held atLundUniversity, Sweden, in July 1993. It includes fiveinvited papers and 51 contributed papers selected from 151submissions.