This volume constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Developments in Language Theory, DLT 2001, held in Vienna, Austria, in July 2001. The 24 revised full papers presented together with 10 revised invited papers were carefully selected during two rounds of reviewing and revision from a total of 64 papers submitted. Among the topics covered are grammars and acceptors, efficient algorithms for languages, combinatorial and algebraic properties, decision problems, relations to complexity theory, logic, picture description and analysis, DNA...
This volume constitutes the thoroughly refereed post-proceedings of the 5th International Conference on Developments in Language Theory, DLT 2001, hel...
This text discusses DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecules. It starts with an introduction to DNA computing, exploring the power of complementarity, the basics of biochemistry, and language and computation theory.
This text discusses DNA computing, a molecular approach that may revolutionize computing-replacing silicon with carbon and microchips with DNA molecul...
This volume gathers lectures by eight 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. Although some of the contributions go into rather intriguing technical details, most of the book is accessible to a wide audience interested in the progress of the age of computers. The book provides valuable reading for professionals in theoretical computer science and related areas of mathematics. For students in these areas it provides an exceptionally...
This volume gathers lectures by eight distinguished pioneers of automata theory, including two Turing Award winners. In each contribution, the early d...
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. The material appears in two volumes, “Algorithms and Complexity” and “Formal Models and Semantics”, reflecting the traditional division of the field.The list of contributors includes many of the well-known researchers in theoretical computer science. Most of the articles are reader-friendly and do not...
This book is based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS) during the ...