Ronald V. Book
Encyclopedia
Ronald Vernon Book worked in theoretical computer science. He published more than 150 papers in scientific journals. He gave many talks at the following conferences:
His papers are of great impact for computational complexity theory
and term rewriting.
- STOC (Annual ACM Symposium on Theory of ComputingSymposium on Theory of ComputingSTOC, the Annual ACM Symposium on Theory of Computing is an academic conference in the field of theoretical computer science. STOC has been organized annually since 1969, typically in May or June; the conference is sponsored by the Association for Computer Machinery special interest group SIGACT.As...
) - FOCS (Annual IEEE Symposium on Foundations of Computer ScienceSymposium on Foundations of Computer ScienceFOCS, the Annual IEEE Symposium on Foundations of Computer Science, is an academic conference in the field of theoretical computer science...
) - ICALP (International Colloquium on Automata, Languages and ProgrammingInternational Colloquium on Automata, Languages and ProgrammingICALP, the International Colloquium on Automata, Languages and Programming is an academic conference organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe...
sponsored by the European Association of Theoretical Computer Science) - MFCS (International Symposium on Mathematical Foundations of Computer Science)
His papers are of great impact for computational complexity theory
Computational complexity theory
Computational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other...
and term rewriting.
Biographic notions
- A summary of Ronald V. Book's scientific research. In Advances in algorithms, languages, and complexity (Dordrecht, 1997), pp xv-xvii.
- D-Z Du and K-I Ko: In memoriam Ronald V. Book In Theoretical Computer Science 207 (1), pp 1–3, 1998.
- In memoriam: Ronald V. Book, Bull. In: European Association of Theoretical Computer Science (EATCS) 63, p 292, 1997.
- List of Ronald V. Book's publications. In memoriam of Ronald V Book, In Theoret. Comput. Sci. 207 (1), pp 5–11, 1998.
- List of Ronald V. Book's publications. In Advances in algorithms, languages, and complexity (Dordrecht, 1997), pp xxiii-xxxiv.
- Robert McNaughton: Contributions of Ronald V Book to the theory of string-rewriting systems. In memoriam of Ronald V Book, Theoret. Comput. Sci. 207 (1), pp 13–23, 1998.
- Maurice Nivat: Foreword in memoriam Ronald V Book. In memoriam of Ronald V Book, In Theoret. Comput. Sci. 207 (1), pp xiii-xiv, 1998.