Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 27th International Colloquium on Automata, Languages and Programming, ICALP 2000, held in Geneva, Switzerland in July 2000. The 69 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 196 extended abstracts submitted for the two tracks on algorithms, automata, complexity, and games and on logic, semantics, and programming theory. All in all, the volume presents an unique snapshot of the state-of-the-art in theoretical computer science.

Computer science --- Machine theory --- Programming languages (Electronic computers) --- Automates mathématiques, Théorie des --- Informatique --- Langages de programmation --- Congresses. --- Mathematics --- Congrès --- Mathématiques --- Computer programming --- Computer science. --- Computer communication systems. --- Special purpose computers. --- Software engineering. --- Computers. --- Computer Science. --- Theory of Computation. --- Software Engineering/Programming and Operating Systems. --- Computer Communication Networks. --- Special Purpose and Application-Based Systems. --- Mathematics of Computing. --- Mathematics. --- Formal languages --- Automates mathématiques, Théorie des --- Congrès --- Mathématiques --- Information theory. --- Informatics --- Science --- Computer software engineering --- Engineering --- Communication theory --- Communication --- Cybernetics --- Computer science—Mathematics. --- Special purpose computers --- Computers --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Calculators --- Cyberspace --- Distributed processing --- Machine theory - Congresses --- Computer programming - Congresses