Click here to load reader
Upload
juan-medina
View
214
Download
0
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.