by EdwardA.Hirsch (Editor), Alexander A . Razborov (Editor), Alexei Semenov (Editor), Anatol Slissenko (Editor)
This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008. All major areas in computer science are addressed. formal languages, automata and their applications to computer science; proof theory and applications of logic to computer science.
Format: Paperback
Pages: 411
Publisher: Springer
Published: 08 May 2008
ISBN 10: 3540797084
ISBN 13: 9783540797081