Product Description: This volume contains the proceedings of ICALP 88, held at Tampere University of Technology, Finland, July 11-15, 1988. ICALP 88 is the 15th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS)...read more

Product Description: The book contains a collection of articles in theoretical computer science, written by leading authorities in the field. The topics range from algorithms and complexity to algebraic specifications, and from formal langauges and language-theoretic modelling to computational geometry...read more

Product Description: This proceedings volume provides a synopsis of recent studies concerning certain areas of language theory close to applications. Topics covered range from image generations and developmental models to combinatorics of words and formal power series, as well as from fractals to computational complexity...read more

Product Description: This book presents one of the most intellectually challenging aspects of computer related mathematics/logic in a way which should make it accessible to a wider audience. The authors look at different types of reduction to show undecidability, but do so using the novel approach of conversation between three famous mathematicians - sometimes using their own words and sometimes in an adapted form...read more

Product Description: The contributions of the proceedings cover almost all parts of the theory of formal languages from pure theoretical investigations to applications to programming languages. Main topics are combinatorial properties of words, sequences of words and sets of words, grammar systems and grammars with controlled derivations, generation of higher-dimensional objects and graphs, trace languages, numerical parameters of automata and languages...read more (view table of contents, read Amazon.com's description)

Secret writing has become the object of extensive scientific studies because of new applications to data security, and, even more so, because of vistas opened by public-key cryptography which allows messages to be sent padlocked with the receiver's personal lock. Covered in this self-contained t

(view table of contents)

(view table of contents)

(view table of contents)

(view table of contents)

Product Description: Containing contributions from both theoretical computer scientists and people working in areas where multi-agent architectures are involved (artificial intelligence, artificial life, linguistics, managing complex systems), this book presents both theoretical developments and applications of grammar systems of various types (cooperating distributed grammar systems, eco-grammar)...read more

(view table of contents)

Product Description: This volume gathers lectures by 8 distinguished pioneers of automata theory, including two Turing Award winners. In each contribution, the early developments of automata theory are reminisced about and future directions are suggested...read more (view table of contents, read Amazon.com's description)

The first edition of the monograph Information and Randomness: An Algorithmic Perspective by Crist ian Calude was published in 1994. In my Foreword I said: "The research in algorithmic information theory is already some 30 years old. However, only the recent years have witnessed a really vigorous growth in this area. . . . The present book by Calude fits very well in our series. Much original research is presented. . . making the approach richer in consequences than the classical one. Remarkably, however, the text is so self-contained and coherent that the book may also serve as a textbook. All proofs are given in the book and, thus, it is not necessary to consult other sources for classroom instruction. " The vigorous growth in the study of algorithmic information theory has continued during the past few years, which is clearly visible in the present second edition. Many new results, examples, exercises and open prob­ lems have been added. The additions include two entirely new chapters: "Computably Enumerable Random Reals" and "Randomness and Incom­ pleteness". The really comprehensive new bibliography makes the book very valuable for a researcher. The new results about the characterization of computably enumerable random reals, as well as the fascinating Omega Numbers, should contribute much to the value of the book as a textbook. The author has been directly involved in these results that have appeared in the prestigious journals Nature, New Scientist and Pour la Science. (view table of contents)

Product Description: J.UCS is the electronic journal that covers all areas of computer science. The high quality of all accepted papers is ensured by a strict review process and an international editorial board of distinguished computer scientists. The online journal J...read more

Product Description: This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the period 2000-2003. It presents many of the most active current research lines in theoretical computer science...read more