Book Details

Automata, Languages and Programming (vol. # 3580)

Publication year: 2005

ISBN: 978-3-540-31691-6

Internet Resource: Please Login to download book


This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP 2005, Lisbon, Portugal, July 11-15, 2005. including Topics Computer Science, general Mathematical Logic and Foundations Theory of Computation Software Engineering/Programming and Operating Systems Data Structures and Information Theory Data Structures


Subject: Computer Science, Automat, algorithms, automata, complexity, computer science, data structures, distributed systems, formal language, formal languages, game theory, logic, model checking, programming, verification